> Now, my question is:
> Was the fact that this happened after running F10
> a pure coincidence?
> I'm intending to look at the CMOS battery,
> and perhaps try re-installing the BIOS.
> Any other suggestions gratefully received.
There is no OS known that touching a BIOS. A OS does READ the BIOS. So
yes, maybe you need to replace CMOS backup battery.
I'm almost completely ignorant of the inside of a computer,
but is the BIOS normally the only NVRAM inside?