A coworker of mine has been under the weather for a few weeks now and has developed the habit of loudly sucking his nose every minute or so. It has caused everyone sitting within 20 feet of him to wear noise cancelling headphones to try to drown it out. This ends up not working as our jobs (software engineer) rely on lots of communication and pair programming.
The noise is exceptionally loud,incredibly distracting, and quite frankly very gross.
The manager out our office (there are only 12 of us) has openly stated how annoying it is (not in front of the mentioned coworker) but has not done anything to address the problem.
What route should I take to try to remedy this problem knowing that the manager will not step in to address it?
It might also help to know that I am in an entry level role while the snot sucker is in a lead role.