東急が8500全廃後すぐに9000/9020を置き換えることになったみたいにこちらも8000全廃後すぐ9000置き換えになると予想