. . with Dell tech support. Tech support has written it up and submitted it as a bug.