東武・東急は同じ半蔵門線にはいるので
東武レッドも東急レッドも同じ色だと思ってましたが
並べてみると結構違いますね。

はレッドではなく東武マルンという色だそうで・・。半蔵門線は色々な形式が見れて面白いですね。