Is $7,000 to replace a vinyl pool liner a fair price?

I bought this house last year. When Hurricane Helene came through Atlanta right before we closed, it ripped the pool liner away from the edges. I don't even swim; the pool would be mainly for my grandkid who visits once a year and probably my rottweiler to cool off in. I just want this ugly frog/mosquito factory gone and would prefer not to pay $7000 to do it. My husband is extremely handy with construction and does 95% of the work on our homes himself. I'm thinking maybe he can do this and save us a ton of money.