And where do they get their seaman sauce?