I thought 4th of July was supposed to have huge crowds, like a 10 on a Line App. Mine showed 7. This past week, 6's. In JULY? I've been to WDW in July and the crowds were huge, usually 8's. Is the app wrong, or are crowds down this year? I know Disney was hoping Pandora would draw crowds. Maybe not so much?