No new hard disk after all.
I used 'boot and nuke' to completely clear the disk. I then booted from the USB stick and used gparted to create a new partition. When I clicked install, it did so without problems. I'm now running the upgrade to the Linux Mint OS. Got a problem with the floppy, but I'll investigate that in due course.