New pool owner here looking for advice, hope this is the right forum. We just moved in a few months ago and this is our first time owning a pool. It's a 20X40 in ground salt water with an automatic cover (a Pool Cover I think)....sorry, I don't know much else being a newbie. My understanding is the pool was installed in 91 and the cover was installed at the same time and it's the original cover. We contracted with the pool service company that the previous owner used and had them open it for the season a few weeks ago. When the pool cleaner came to do the cleaning yesterday they knocked on the back door and said the the rope operating the cover broke, I checked it this morning and the rope is broken. The pool service company doesn't service covers but say they have a quote from a local company that does for a repair to replace the rope on both sides of $800-1000 and to replace the entire cover for $4700-5000.....they didn't ID the company.......they don't recommend simply replacing the rope since the cover is 15 years old. Any advice is appreciated. I've started doing some limited research and am going to get some contractors in for some bids but my initial thought is that the price of $4700 is a little high, about $1000-1500 too high. Since the cover is original I'm leaning toward replacing it.........