I have a 12 year old pool with the original pump. The pump has started to turn off and then go back on. It has happened three times (that I am aware of). When it turned off today, I went over and felt the motor and it was quite hot. About 10 minutes later, it turned back on. In a search for "how...