Of course no one said anything. That would be rude. But not tipping your server is very much an asshole move, foreign or not. Those service industry workers rely on the tips because their wages are basically nothing. I agree that they should be paid a fair wage but that’s just not how it works here in the US.