9mo DS2 has had a mild cold. He had a screamathon around midnight on Saturday night/Sunday morning which resolved with Calpol and plenty of boob, then on Sunday morning I noticed a load of mucus coming out of his ear. Since this exact same thing happened to DS1 at pretty much the same age, I take it his eardrum ruptured with the pressure in his ears from the cold (PFB DS1 got rushed to the GP, of course, which is how I gathered this).
Now, DS2 seems fine. He's happy, he's never run a temp, he's not pulling or rubbing at the ear and it's not at all red inside BUT five days later, it's still producing mucus which is either white or slightly ear-wax yellow and it's a little bit smelly. Not offensively, but if you put your nose near his head, and particularly that ear, it smells ever so slightly of dirty socks.
Do you think I need to do anything beyond keeping it clean (without putting anything inside obviously) so it doesn't get uncomfortable or itchy around the outside? I can't remember whether or not the GP put DS1 on prophylactic antibiotics when it happened to him. I don't want to waste an over-worked GP's time, or put an otherwise healthy baby on antibiotics he doesn't appear to need, but I also don't want to be too cavalier about it...
What do you think?