On the other hand, lots of people have the liberating experience of discovering that "no tip" is a sensible default to press, and from then on we're out of the tipping game. Bots don't guilt trip me anymore, hooray!