I know the Pepper Market had changed to buffet, which is wonderful! My question is, on the menu it says waffles, are they Mickey shaped waffles? LOL I changed my Chef Mickey ADR from breakfast to dinner and I can't imagine leaving Disney without eating a Mickey waffle.