My ds is 11 (and he is big and probably would not pass for younger). My question is how strict is disney at the table service restaurants about allowing him to order off the children's menu and paying out of pocket for it? Obviouslly at the buffets we would use the correct adult credit. But at sit down dinners I do not think he would eat much of what is offered. Has anyone else experinced this?