I just read menus for main dining rooms on Disney's site. they didn't show any kids menus. do they have them or do the kids really enjoy the regular menu? I can't see my 7yo granddaughter eating most of the choices. If I understand right, we can just do casual dining and give up the main dining, but wouldn't want to do that every night.