[Mick] For gas in children, some good herbal remedies (in tea, tincture, glycerite, or essential oil form) are peppermint, spearmint, catnip, lemon balm, oregano, culinary basil, Indian basil, thyme (all of which are members of the mint family) and fennel. Some of these taste better than others; so for tea or tincture, I’d stick with the ones that taste better. Peppermint should not be used in tea, tincture, glycerite, or essential oil form for children under the age of 3. Any of the other essential oils above should be diluted before being applied (either as a stomach rub as you described, or to the soles of the feet or along the spine). Homeopathically, perhaps the best remedy for gas and bloating in people of any age is the combination of Lycopodium 200 mixed with Arsenicum 3.