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