X31は美品だったんだけど、キーボードのてかりと、文字が一部消えているのが気になったので、オークションでusキーボードを購入した。バルクの新品で7500円だった。
製品情報にあるマニュアルを見るまでもなく簡単にできる。ただ、ちょっと困ったのが、交換した状態で起動すると、キーボードのドライバが自動的に「101/102英語キーボード」に変わっているんだけど、記号ボタンの入力がキーと一致していなかった。で、こちらのページを見て「PC/AT エンハンス PS/2 キーボード」にドライバを変更して解決した。