お尋ねしますが、7700系などの元東急車はどうなったのでしょうか?解体されましたか?