Spent a couple of days in Seattle since I wrote this and was surprised to find that several of the restaurants in which I dined have banned tipping, instead adding a 20% service charge (that they state goes to pay the service staff). Progress.