つまり1000(無塗装・IGBT)が量産されていた場合、7000の廃車がもっと早くなっていたということか