My 15 month old DS is teething and has been coughing a lot during the night and it is disrupting his sleep. When it is really bad I give him Robitussin cough but that doesn't seem to be working we propped his mattress up a little too. Is there anything else I can do?