Was just searching for ADRs at Chef Mickey's for our April spring break trip, and when I plugged in breakfast, one of the available times it shows is 12:15pm. Huh? Is it just the same breakfast menu/buffet, served that late? The restaurant hours according to the Disney site only go until 11:30am, so it's even more confusing...