for our trip, Oct 4-Oct 11. Is it really going to be that busy? We were booked Dec 16-23rd, but had to change for my son's graduation from Marine Boot camp is a couple days prior. I thought that the 1st week of Oct was a "slow" time for WDW. Will it be busier than our last trip, 2nd week of Aug 2012?