I agree and I don't think CF would use the same name for two roller coasters in the same state. If Thunder Road or Thunder Alley was the original name of Top Gun I think they should think about naming it that or possibly Bat. I think that IJ:ST would be the hardest to re-theme since it actually has themeing beside its name and a paint job but that could just be called Stunt Track and remove the some of the LA stuff.
I agree. I think IJ:ST will be the most difficult to rename because the whole ride is inspired by scenes from the movie. To rename it means to retheme it, and that might be an endeavor that KI doesn't want to take on. Who knows? I guess we'll see.
I doubt, though, that they will ever use the name "The Bat" again. Personally, I LOVED that ride, but with the ride retired, so the name should be retired as well...unless they were to rebuild The Bat in a different location using the exact same plans as the origianl. Naturally, they would have to correct the issues that brought about The Bat's demise. Seriously! Wouldn't that be sweet? Bring back The Bat...but make it do barrell rolls.