多分4000の後継はワンマン化新2000系だと思う
4000が設計されたのはバブルだったしクロスにはしないと思う
実際東武も6050廃車にしてる