I just ran in to this very problem. One side broke, far to one end of the pool, but I don't think it came off the cover itself as we can still see a lot of rope along the wall. So a DIY replacement is doable? I have been unsure if we'd be able to thread it back. Will the new rope come with...