How long ago did he have gastro? I know a friend's baby developed an intolerance to lactose after having rotovirus badly but he did grow out of it eventually as his gut repaired.