In 2011, Pensacola Gulf Coast Regional was renamed to Pensacola International, still serving the city of Pensacola and its surrounding areas.