Fortunately it had done it's work and a hard shutdown by holding the power button turned it off and it booted.

You bring up a good point. Do you expect PCs today to be without such annoying issues?
Bob