Those sensors are notoriously unreliable, in fact were deleted on later models. I've left mine off and just put the plug in the bottom and cable tied the wiring out of the way.
I did wonder about the reliability. All seems very coincidental. What year did they delete the sensors? If there were water in the system, what would the symptoms be?