We've had several issues installing our pool last year and we gave up. We had a brand new 30' round expandable liner already purchased. We stored it in our basement. We now have everything ready to go. We took the liner out-laid it out to get soft in the sun & BAM-the mice chewed a hole about 4-5" round in one spot. If we patch this spot-will the patch come off in filling with water-because of the expandability? What should we do?!