Got three quotes on patching bad spots and new coat over it all. Quotes ranged from 6-9k I told them all to kick rocks and did it myself after some research and found that it’s not difficult at all. Filling back up right now. I spent right at $600 on pool paint and patch repair cement.