One of the things you do when you eat in a restaurant is leave a tip