キートップの大きさってみんなおんなじっぽい感じだけど、
いまどき売っている奴とは
差し込み口が違うのかな…　まさか店頭で確認できないしな…