Once formatted he'll have to reinstall windows, won't he? This could be difficult without the disks!

I had a similar problem with a wireless connection, it was all due to the main PC (wired to the wireless router) having ICS running when the router was using DHCP. Big problems with other wirelessly connected devices accessing the internet because the router was sending out the main PC's IP as the DNS for the other devices!

Hope this helps?