My coworker and I just found that there is an update to the marvel driver when done from Device Manager. It installed fine. I cannot test speeds yet from the office, but it is confirmed that he can now tether his Galaxy Nexus and couldn't before. Not sure why Windows Update didn't advise about the driver. New version is: 14.69.24019.88 I will speed test it tonight.