thanks. if I were you, I would tell him to use lots of green veg

and stop drinking milk.
milk is not essential for kids' growth. Milk with lots of low quality protein known as casein can be harsh on digestive system.