職場で「豚キムチのカップ麺」を食べる人がいます。かなり匂うのでやめてほしいのですが、注意しても大丈夫でしょうか？ 本人は「節約になるから」と言っています…

柑橘系や緑茶みたいな爽やかな香りだったら気にならないけど、ニンニクか唐辛子系の刺激臭は周りが気分悪くなるのも分かる気がする。
爽やかな香りか、刺激臭かがストレスの分かれ目って感じ。