Another option (he's using Windows) is "change what the power buttons do" in Control Panel to make the sleep button into a no-op.