あと関空用ハイデッカー特急車は9000/10000が登場した1985年頃の検討だったらしいが、要するにこの時点で空港線開業による車両新造計画は盛り込まれていたんではないかな