Pool has a possible leak near the light and now has tear in the liner near the top. What is the best way to patch this? I got a quote for the liner replacement which we are going to do but the earliest it can be done is this fall. I've got spare vinyl and am hoping to patch this to get me through the season. The photos were taken 2 days apart.