Maybe they'll drain that hole and start over. Put some structure in the water for winter pool, that is if they ever leave enough water in it.