Hi everyone! New pool owner here and having a few issues with our pool. Pardon me if I'm using newbie language we have too much water in our pool and need to drain some out and looking for a good pump to use to do so. Not sure the name of it. Someone on social media has one, worth 850 and would sell to us for $250. Not sure what I'm looking for. We have a cartridge filter so no backwash. Not looking to break the bank but I'm sure we will need to drain some water out a few times this summer after rain. Thanks for your help!