Yes, as soon as he said he had no connection at all on that machine, I was a bit apprehensive. Usually some facet works, or there is a wireless adapter they can plug in. No net at all really increases the troubleshooting and repair difficulty. Trying to switch back and forth from one machine to another using a USB stick... referencing things on a phone...
I really hope the driver you found does the trick on the first try.
edit: maybe phone hotspot...?

