Coworker is looking to get a line knife that is preferrably all-stainless and 180mm, maybe 195. She hasn't expressed much opinion so far but like medium to light weight, looking to spend under $250. She mostly does push-cutting, with a little rocking. The local knife shop is trying to sell her a Masakage kiri or hikari 180mm gyuto or Shibata bunka 175mm. I don't think much of these knives and think they're way overpriced but I've never used em. She's currently using a 150 takeda SSclad petty that she likes but feels is a little short and doesn't like the reactivity for line use. Any thoughts on the 3 knives listed or other options???