No all the men had on White Tie & Tails, not Tuxedo’s.
He was aboard Air Clinton giving the flight crew a hand.