Cool, thanks for the update. It's going on 10 years for me since I last went.
:-) You're welcome. You also have to tell the waiter before he takes your credit card that you would like the bill to include a tip. Otherwise you would have to leave a cash tip.