At first I thought it was an airport terminal, but then I couldn't find airport "stuff". Now I'm going with a concert hall in FL - maybe your town of Panama City?