That’s what I do. Complaining to a manager is generally more effective because most servers would assume a bad tip is more reflective of you than themselves regardless of any reality. Most servers also have other co-workers to share their tips with, sometimes that’s an honors system of what’s made but more often it is…