DD would like a day in Sea World. We are traveling July 6-11. I would like to get tickets now because of their Memorial Day half off ticket sale. However, I am worried it will be too hot. I remember going as a kid in summer and it was brutal because they do not have many shaded areas. I would prefer to wait and get tickets once we are down there and see how it goes at the Disney parks. WWYD? Thanks!