Out of curiosity, what do you normally tip at various restaurants in the city? It used to be 10-15%, now I believe 15-20% is the new standard. I've typically found 20% to be on the high side, unless the service is truly outstanding, but don't know if I'm alone.
For comparison, would your tip be different if you went to a casual place (ie. $20 per person), vs a formal place (ie. $100/pp) vs a really expensive all-in chef's menu (ie. $150+/pp)?