I've talked earlier about the difference between the quality of service in Europe and other places around the world. I'm happy to report that in the U.S. the service level is in general much better than what we're used in Europe. The downside, of course, if that you need to be aware about how much you should be tipping, which is an arcane art I have pretty much forgotten.