I got notified of a driver update to my machine, and I couldn't find any news about it.  So, I'm just verifying that it's legit before I install it. It says version 1.7.2.16.  When I went to Dell Driver Support it says the BIOS for this machine was last updated back in June and shows a different version.