We'll be paying out of pocket for dining on this trip. I know the kids are considered adults at age 10, but was wondering if anyone has experience if, on average, servers at TS restaurants are super strict with the age policy?? Some restaurants give kids a lot of food, & I hate to pay full price & order an adult meal for a kid that's not going to eat it all. Thanks!