もりそばの機種って何だったっけ？