Does anybody know if you have to buy a children's menu for infants? My son will be 13 months when we go and he eats so little that we just give him bit of what we're eating. will we be allowed to do that there, or will we be expected to buy him a proper meal?