I used that a few times in the past :))

However, I have always made a bootable floppy or CD when I first get the computer and have it stored away.

The reason I asked the question of you is that he appeared to have no such media available.

Cheers Login to read more.