結局テンキーレス15型の選択肢はもう出ないんだな。