I'm still under the impression that standard tip in the US is 15%, but I usually tip 20% if the service is good, if only because it makes calculations is easier. Shoddy service that's not bad enough to notice is 15%; anything less jumps a quantum level down to zero.
