It's been a year since I made this thread! The information/situation is still pretty much the same. The price seems to be about $4100 to patch the pool and install a new liner (including the cost of the liner itself). Since the current liner, he can't actually see what the cement looks like around the pool. Is that a reasonable price?