Tipping culture npcs
https://lemmy.world/post/11960708
20% of $25 is $5.
20% of 109% of $25 is $5.45.
I doubt anyone notices.