Holy shit - this is just a straight forward informative post explaining the answer to an interesting question. Well done.

Do they also switch out the tile around the edge of the pool?