I know food preferences are deeply personal and all, but seeing someone at the breakfast buffet eating a croissant with ketchup is upsetting.