Thank you, Mike, for the nice post! Glad you had a good summer and were able to enjoy your pool!