It was National Tuxedo Day last Monday.