My kids will be 10 and 9 when we go to WDW in August. My 10 year old is not a big eater and often will not even finish his kids meal. Does he have to order from the adult menu now that he is over 9, or can he still order from the kids menu? I would not think there would be an issue at counter service restaurants, but at a table service restaurant or a buffet, is there any opportunity to order kids meals, or is the 10 = adult rule strict? It is such a waste of money to pay full price when he will not each all that much, but I hate to have to pass on the character buffets because of this.