I have an 18x36 rectangular pool with vinyl liner and wood walls. I need a new liner and some work on the wood walls. The 18' ends are bowing in a couple of inches. My property management company received a quote for $13,000 to do the work. This seems a little high to repair the walls and install a new liner. Any advice, referral, or info would be helpful. Thanks, Greg