I think I’ve finally got the business of tipping in restaurants pretty well sorted out. I tend to tip around 20 percent in the more ordinary establishments where the modest...