So I currently have no ticker. I was originally thinking of a trip in September or October but I'm not sure I wait that long so I'm maybe thinking of July or August. I've only taken one trip in early July many years ago. For those that have been in July or August, do you lounge by the pool or are you mostly in the water because of the heat? Are there misters around most of the pools? And which pools on the Strip might be a bit better at that time of year for a little shade?