Run cmd in admin, then ipconfig /release, then ipconfig /renew.
If that doesn't work, try downloading the latest driver for the device from another computer then put it on a thumb drive and dump it on his computer, then install it.
Also have any of the basics been checked out? (rebooting router? checking to see if other devices have internet in his home?)