Our trip is booked for the end of June, so I am expecting it to be HOT HOT HOT! I do not really care for the heat, but that's when my sons b-day is! How do you like the pool at RPR? Does it have room for a lot of people? Heat + Busy season = Crowds! Are there areas with shade? Do people claim their loungers at the crack of dawn? I really hate that! Are there activities for 12 and 13 year olds? Last year at Disney, POR's pool activities were really just for the 6 and under crowd. My kids weren't interested. Should we consider a pool hop day over to the hard rock?