Formal night. About a third of the men wore tuxedos, the rest suit and tie. Those who can’t bear to dress decently could eat in two other dining venues but missed out on the lobster.