Outside, a man in a hat high-fives a lot of people to the cheers.