Overheard, as maybe a dozen men left a packed elevator: “whew, that was hot in there.”