* This machine doesn't seem to preserve its BIOS settings after a reboot (which means that it has to be turned on by hand after a reboot).  Next time I visit, I'll try checking and/or replacing the CMOS battery.