I’m not using my Polaris pressure side any longer. I bought a robotic to take care of the cleaning. Question is what should I do with the Polaris pressure side pump? I currently have the pump turned off. Is it ok to leave it without operating or should I turn it on occasionally to run water through it? I may use the pressure side in the fall if my leaf issues are bigger than my robotic can handle. Thanks for any advice.