not a bad idea, but...
...I'd still like to see if I can resolve the problem by putting in a new relay and, to do that, I need to know which relay to switch out.
Fired up the rig for the first time in over a week - let it run for 20 minutes, and the same thing happened - fan didn't come on...