On 08/01/2014 17:13, Jethro_uk wrote:

He'd recompiled the driver, and reinstalled it. Impossible in Windows
without a reboot.


Not true.
There are lots of drivers you can install on windows without having to
reboot, including, sound cards, video drivers, disk controllers, etc.