There is a leak in the liner and we are losing water at roughly 6-8" a day. As the water is too cold and the wife wants to get a new liner next year anyways what should we do? Do we just drain it/let it drain itself? Do we drain, Repair and fill (but how much)? We are worried about the walls of...