RM in July? Too hot?

Husband and I made our first trip to RM earlier this month, and we had the time of our lives! We are ready to book our next trip! July would be an ideal for us with life/schedules. I’ve heard people here say it’s very hot there in July. That doesn’t bother us in general, as we’re from Texas (we are used to it!). If anything, I found it uncomfortably cool for being in the pool on some of the days we were there in January.

However, is it too hot in July to be comfortable in the hot tub in the late afternoon? One of our favorite parts of the day was meeting people and mingling in the hot tub from 4ish until dinner, so we would not choose to go in July if the late-afternoon hot tub party time isn’t as active then. Thanks in advance!