Someone more experienced than me will probably offer some good advice soon, but in the meanwhile, I'll just say that my son when a baby used to regularly choke on his food, and make the most revolting gagging noises, which never meant anything serious was happening - he was just getting used to solid food in his gullet. Not that I'm saying you shouldn't keep a careful eye on him, but they do eat very noisily which can cause anxiety, but it's normal.