Does anybody know what time Disney restaurants switch from their lunch menu to their dinner menu? Are the price differences generally due to smaller portions, or not? I'm specifically interested in WCC, but also curious about whether there's a general rule for all restaurants. We'll be going in mid-November, not on the DDP. TIA!