Thanks for the info...you (mostly I) never know who and who not to tip anymore.
And 20% has been standard for quite some time now - at least since I was a waitress about 5 years ago. But then again, I always tip more than 20 if service was actually good.