We are planning a 3-day pre-Disney Cruise trip to WDW next July 2-4 (cruise departs on the 5th). Can someone tell me how bad the crowds might be. This will be a first WDW trip for several members in our party and they have a 3 and 5 year old. I'm hoping someone who was just there over the Fourth can let me know what it was like. Thanks!