テンキー付きノートパソコン

普段はディスクトップPCを使ってるんだけど、今年は家庭内であちこち持ち回る必要が出てきそうな予感。そこでノートパソコンを考えているところなんですが、是非テンキー付きのがほしいんですよね。でもどこでも売ってないような気がするんですが、皆さんご存じでしょうか。是非メーカー名と機種名を教えて頂けませんか。写真は昔使ってたHP200LX。相当のろいですけどLotus123が載ってます。こういうのでWindowsが動くのがほしいです。こんなに小さくなくてもいいです。