if he really has gastro, I'd be careful with milk. It can make him feel worse and can also lead to temporary lactose intolerance secondary to gastro.