Which USB 3.0 Driver?

I have an Inspiron 15R(N5110) and am looking to update my USB 3.0 driver. If I look in the dell support page, it points to this driver:

http://www.dell.com/support/home/us/en/19/Drivers/DriversDetails?driverId=HCP1C&fileId=2731102971&osCode=W764&productCode=inspiron-15r-n5110&languageCode=EN&categoryId=CS

This doesn’t make sense since my USB 3.0 controller is a Renesas Electronics according to the device manager in Windows 7. If this is the right driver, it has the same version number (2.0.32.0) as my current driver with a date of 12/10/2010.

After looking around in Dell support, I found these drivers:

http://www.dell.com/support/home/us/en/19/Drivers/DriversDetails?driverId=NGKKW

http://www.dell.com/support/home/us/en/19/Drivers/DriversDetails?driverId=JTDY2

Both of these are newer versions, but are not listed as compatible for my system. They are listed as compatible for Inspiron 14R(N4110) and Inspiron 17R(N7110) with Windows 7 64 bit. My computer is an Inspiron 15R(N5110) with Windows 7 64 bit. Did Dell make a mistake on the support page and point me to the wrong driver? Doesn’t it seem like this would be the driver I would need as my computer is the same as the 2 listed accept it has a 15 inch screen?

Thanks,

Dave F.