Pool company finally came to install our above ground pool. They found a hole in the liner and proceeded to patch it. They said it will be good as new but I am concerned about the longevity of the liner. Would you insist on a new liner? What should I do?