I have a 16 X 32 inground pool. I was brushing down the walls yesterday and I must have tore the vinyl liner near the bottom because I have lost about 12 inches of water overnight. The liner is about 16 years old, and we were planning to replace it in spring anyway. Can I just leave it drain out, or should I try to fix the liner. If it empties itself, is there a chance that when the ground freezes this winter, it will push the walls in ?? I live in Northeast Pa. about 90 miles North of Phila. I believe I see the tear. It is a slit about 2 inches long in the deep end. Thanks, Mike