Alex, you're about 99% correct. You are wrong in that Top Gun was the first ride added after Paramount bought the place (though it was contracted while KECO was still doing management), so while KECO/NAFG might have announced a different name for the coaster, the day it opened it was Top Gun. One thing that has changed, though...the track used to be red.
If you look closely at the Vortex station, you can see the cut-outs above the storage tracks where the spine of the suspended coaster track was supposed to go through. Vortex loads from the Bat's station.
--Dave Althoff, Jr.