Here’s a shot of the pool cleaning crew working to solve the problem: