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...