Mid-November

Time to clean the pool.