My friend and his family are at Disney. His sons want to do Jedi Training more than anything else. They are new to this stuff and I'm worried they with the busy Christmas week they will get shut out if they aren't at the gate early enough. Anyone have any experience/insight on what time Jedi fills up during high crowd times?