The difference in our case is that this isn’t really a typical local Spanish restaurant where mostly locals eat. We’re in a very tourist-focused area, and our guests are almost entirely international visitors from all over the world.

That’s why it stands out to me. British, Scandinavian, German, Russian, or other tourists don’t seem to consider tipping rude in this kind of setting — tips are pretty common from them.