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

部長がランチ買いに行く暇なくて会社の休憩所で買えるカップ麺よく食べてる。
個室あるから個室で食べてもいいんだろうけど、ニオイが気になる人は気になるだろうからって自分の部屋では食べてない。
休憩所でも目立たないように（居たら気を遣う人はいる）食べてて大変だなと思う