My ds was 13 last May when we went, and he often ordered off of the children's menu. We paid full adult price at the buffets for him.
Have they changed the dining age with the new plans? Dd was 10 on that trip, and I believe that the prices didn't change to adult for eating until age 13 (but I might be remembering that wrong). She had an adult ticket, but I think she paid children's prices for meals.
Beth