Follow up. The person the machine belongs to has just told me that she tried to use the supplied Tiny recovery disc and got the message "Drive Image special edition backup not found."
So it looks like it's back to the hard drive again.
I will try fdisk and format in the absence of any more informed suggestions. Either way this recovery disc is probably never going to work again.