"Fixing up the pool" sounds like such a simple thing to do!

Thanks for showing the process. It looks like they did a fantastic job, and it was cool to see how it was done.

I hope you and yours have many years of use from it.