Here’s the Rube Goldberg-eque device the pool repair people used to fill it back up. Of course, the water pushes up the ball, which in turn cuts off the water when there’s enough water in the pool. I got this shot April 18, 2017, at our home in Naples, Fla.
