Poll: How much do you tip?

Tipping is a standard part of staff compensation in restaurants, but it depends on the satisfaction — some say the whim — of customers. We’d like to know your usual practice regarding tips.