ウチのIIsiには7.5.3（7.5.2だったかな）が入ってる。　筈。
G3DT500MHzに8.1入れてみようかな・・・。速いんだろうなぁ。