Well got a new roof on my house Now I have holes in my liner. I have patched up three pin holes so far. I am letting all the water drain through the holes to find them. My question is, would it really be worth it on a 20 mil liner? It's 4 yrs old. I know, I should have a larger mil, but times were tight. So, should I play the finding game or buy a new liner and call it a day? What would you do?