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