No, rebooted! You see, with the cheap prices on RAM nowadays, he's bought 80 gigs of RAM and is keeping everything on RAM disks! Only problem is that they get wiped when he reboots, so he only does that once a year. He's also extremely careful about what he installs, some programs reboot the computer after installing!