Are you sure it's not just going into standby mode? Check the power settings in control panel to make sure. It's possible he's idling too long while on battery and so the machine is going into standby.