This past fall the pool was closed while the city repaired the leaks. On the last day that it was open the locals were invited to take a swim with there dogs. That was a one time chance for the dogs. We took our dogs to the ocean for a swim since I was a youngster. Now you can't do that in public beaches. We were lucky, we had a house by the water in the Keys. It was good for the dogs but not the house.
The pool looks better with water.
