Yes, I was thinking on this, too. My son will be 9 when we go at the end of November, and his eating is, well, irregular. Some meals he eats very little, and then others he gulps it down like there is no tomorrow.
We are trusting the reports that there is so much food, so we will order the kids meal for him (and his sister, who will be 5), and share our meals with them, if they want some, or if the kids meals aren't enough. We will work something out, anyway.