Here’s a tip for restaurant goers.