Our pool liner, already 12 years old and very faded, developed a leak late last year so we decided to replace the liner. Installation was scheduled for the Spring. We closed the pool with the old liner, leak and all, and placed an order for a new liner after deciding on a liner pattern. The old...