Thanks but cloudy and drizzly here today. But, yesterday was hot and I did get in the pool for awhile. Haven't looked to see about tomorrow but at any rate, we still have another month of pool weather here unlike a lot of places where Labor Day is pretty much it for swimming.

(I did ask Ben to look in on your question.)