We just had our first rope break and had the builder come out and fix it. We have a 20x40ft pool with Auto Cover. This is the first time a rope has broke since pool was built in 2016. They went ahead and replaced both ropes. I got the invoice and it says $640 for two ropes ($320 each) and $100 for slider assembly. The total, with labor was $1,100. This seems crazy high so wanted to get some thoughts from others. Thank you in advance.