Bought it and installed in 2009, but then I noticed from my saved invoices that it was serviced by a local electric company back in '12 - work done mentions new seals as well as replacing the motor. Suggestions? They did the work in October so likely right after the pool was closed. Had it for awhile. Not good to take the pool out of service at this time. Just buy a new one?