When opening our 9 year old inground pool this year, we found a large horizontal tear in one corner of the deep end. The tear is about 3-4 feet wide. Can we repair this tear rather than investing in the purchase and installation of a new liner? I am envisioning something like a 4-by-4 foot sheet of vinyl and some really strong cement ::D