We have a Coleman Swim Vista Series 2 pool with the small pump that comes with it. We purchased this last year. Yesterday I was draining the pool some and refilling. I had the pump off, but it was mistakenly turned on and started sucking air. This was about 7 seconds. It shut itself off before I could get to the GFCI to turn it off. Now, it won't restart at all. What do I do now?