Thinking about taking my 10 year old and 8 year old there in mid July this summer, but I am wondering if it is likely to be unbearably hot? They were fine in Florida which was in the low 30s last October, but we had lots of pool time, so I don’t know if this is a really bad idea!