I'm guessing its an OEM computer, so they will either give you a quick restore disc, or a backup partition. If its the restore disc, then he can as a last restore use that. Insert it, restart and the disc will boot and do the formating, and restore the computer to factory condition.