* This machine doesn't preserve its BIOS settings after a reboot (which means that it has to be turned on by hand after a reboot). We've tried replacing the BIOS battery, but that didn't fix the problem.