He has no floppy drive on the machine that's failed. Another solution would have been to create an emergency boot/recovery disk, but again, no floppy drive.

Having said that though, a floppy drive and cable costs about E5 locally, why not buy a floppy drive?
_________________________
One of the few remaining Mk1 owners... #00015