The pool was removed in January of 2021. It was replace by a garden.

Life is simpler and summers much, much more pleasant.