We're installing a new liner and have had some rain and water behind the liner. We're wondering if we have the 20.00 gizmo in the drain that will auto pump the water out once it gets more full. It's dry now so things have improved and we did pump a lot of water out from behind the liner. Looking...