8000形もデビューが2年ほど遅けlればオールステンレス車だったかもな。