jacki, I was told from 9mths (this is in Australia) that you can introduce whole milk, but you should do it by putting it on their cereal in the morning, making custards, puddings etc with it - just gradually introduce it. You can also just give a few sips from a cup to get their tummies use to the difference.
I hope your DS gets better.
Lisa mum to James by textbook koala