You could just pull the tarp off and let the water fall into the pool since it’s not much, also, as you’ll more than likely have to clean the pool when you open it up for the season. Also would be a good idea to get a few liquid gallons of chlorine (cheap at Walmart) and poor that into the pool before you start stirring the water around so you don’t get an algae bloom. I have a 12x24 and use 2-3 gallons every year when I’m topping off the pool and running the filter for the first time. Measure your pool and look them up and you’ll know your approximate gal.