Us too, if it is in fact good service, we tip higher than 15% usually. Auto tip results in poorer service, in almost all cases.