There was little in it that wasn't default, only the "kindly ignore the CPU fan speed as you can't seem to understand its meant to run that slowly", so I changed it, and when I went into the BIOS to reset the date and time, it refused to accept the correct date, but accepted the 6th June 2017 (Uh?) so I let it boot and then went into the change date etc., thing in Windows, and let it correct the date and time itself which it did. I'll stop by the BIOS the next time I start it, and check it has grasped the correct date.
Hopefully all is well now, but we shall see... (yes, I did have one CR2032 left in stock, phew!)