Pensacola International Airport, formerly Pensacola Gulf Coast Regional Airport and Pensacola Regional Airport, and temporarily branded Pensacola Intergalactic Airport each February in recognition of
Embraer ERJ 145LR at Pensacola (2006)
Destin–Fort Walton Beach Airport is an airport located within Eglin Air Force Base, adjacent to the city of Valparaiso and near the cities of Destin and Fort Walton Beach, in Okaloosa County, Florida,
Pensacola International Airport
…largest by passenger count, only behind Jacksonville. The other four airports in North Florida are: Northwest Florida Beaches International Airport, Destin-Fort Walton Beach Airport, Tallahassee International Airport, and Jacksonville International Airport. Pensacola international airport is the largest airport per passenger count…
FAA airport diagram
Gates at VPS