Okay, I just discovered that that external fan was not doing its prescribed job. I've got it back to work - the details are far too complex for you mere mortals to understand; suffice it to say that it involved an on/off switch ....