Way, way OT: re: tipping at restaurants