券売機にとんこつラーメンのボタンがなかったので、メニューから外れたようです。

「とんこつらーめん」が券売機メニューに追加されていました。
ミルクのような色をした白湯スープで塩味、麺は中太で透明感のある
タイプです。