I really feel you on this, it is so scary to watch your little one choke and cry and not know why. Please bring him to see a PD soon so they can properly check whether it is teething, mucus, or something else going on, because at 9 months this one is better not left to guess. You are doing the right thing by noticing these changes, hang in there mama.