I just opened my 30,000 gallon pool but when I went to start my Dolphin Atlantis it wouldn’t move. I’ve tried all the troubleshooting I can find and have come to the conclusion it must be shot. I would like to replace it with a similar vacuum but the newer Dolphins are a little out of my price range. Does anyone have any recommendations for $600 or less? Thanks!