You should be able to change the bios boot sequence to boot from a floppy or a CD. There is then a dos command which may be format c: /mbr or something like that - I'm sure someone will oblige with the actual command line.
I had to do this once a few years ago, the /mbr switch means 'make boot record'. This could be the answer to your friends problem?