It would be memorable enough that the building was dedicated in May 1935 as the nation’s first air passenger terminal. Or ...