キーボード故障が物理的でなんとかならなかったら、
とりあえずUSBのテンキー買えば良いような気もしてきた。
調べたら安いの600円台であったし。もうこれはテンキーで良いよね。

うん、いくつかチェックしとこ。