Planning a trip for October 2016. Our son will have 2 weeks off in October, but the school has not released their calendar yet. Based on the past two years that he's been there, I am assuming he will be out starting October 3. I got pricing for the week of October 3 and October 10, and was leaning towards the 10th, but then saw it is Columbus Day week. If we plan to arrive on Monday (for either week) and stay through Saturday, will there be a big difference in crowds between the weeks, given the holiday? We would only be in the parks Tues-Fri, mostly likely.