そういや6000と同じ日立GTOを使ってる京王8000も徐々に機器更新してるな
あっちは東芝PMSMにしてるが