Hard to arrive at a benchmark as every person has a different take on tipping and how much. It's all personal and each situation will dictate what you feel is right.