OK, managed to run hardware diagnostics - and it found a hardware error. very helpfully, it is 4SNS/1/40000000:TGOD - googling indicates "bad sensor on motherboard". frown