Did you talk to him about this? It seems to me that if someone is creating unpleasant or distracting sensations (noise, smell, vibration, flashing lights, etc),

Did you talk to him about this? It seems to me that if someone is creating unpleasant or distracting sensations (noise, smell, vibration, flashing lights, etc), the best thing to do is ask them to stop. Wanting to ban the annoying thing is a bit of an overreaction. To use an analogy: Lots of people on public transportation annoy me by playing music out of their phone's speaker. At no point do I think, "Phones should be banned." I just ask them to turn off their music or use headphones.