Thank you for the great report and insights on itinerary modifications that seemed to work out very well and could be useful for our trip down in July. I expect it will be less crowded overall but am wondering about "Christmas in July" impact.