Just thought of something. My son will be 11 on this cruise. He most never eats off a children's menu. Will he have to at Tritons, Lumieres, etc? Or can he order off the regular menu. He'll kill me if he has to eat "kids" food.