[thunky]

Interesting, are you seeing an explosion of counter tip prompts there?

[seanmcdirmid]

Yes. And there are lots of mandatory tips going on as well, but in any case, as long as they call it a "tip", Washington state requires it to go to either servers or servers and kitchen staff (if a tip pool is in place).