Well, I was oversimplifying... In a lot of the US waiters make $6/hr or $8/hr or more as their base salary (minimum wage) and tipping isn't nearly as socially-mandatory. I travel to those places a lot. I travel abroad not at all, but that has no bearing on the validity of the point.