That's fine, no problem. I guess it happens a lot - half a story.
In this case, the full saga is that the house used to be mine, we had the occasional problem of overheat lockout so we reset it and it used to work. So intermittent as not to be a problem. At servicing time, later that year...