On the big screen, Maverick flies F-18 fighter jets; in real life, it’s an Embraer ERJ-135 aircraft that bears the Top Gun livery.