Thanks for the suggestion, but I've done all I'm going to do with the machine now and handed it back. I rebuilt it using a spare hard drive: while I had to turn SecureBoot off to get the laptop to see the spare drive, it couldn't see the original drive with or without SecureBoot, though it could...