Yes they do but all the Europeans on here will say they are wonderful tippers because they know the custom. That equals 10% for a waiter if they tip at all. Not really their fault but is makes me mad when they say that they all tip????? 1 out of 3?????
30 years ago I worked for a hotel straight out of college or it would be University to the Europeans. We had one English family of 7 become toxic waste. They didn't tip so Doormen, Bellmen, Waiters, Bartenders etc. etc. everyone hated these people really quickly. They went in for breakfast hearing the wait staff fight over who was not going to wait on them. End result, they went to the general manager who reached out to ask why everyone hated this family, answer was simple, big family, lots of work no tips. Realize some of the staff in the US make $2.13 an hour, that is the minimum wage for tipped jobs because tips are expected.
https://www.patriotsoftware.com/blog/payroll/federal-state-tipped-minimum-wage-rates/
End result was general manger gave the English family a list of minimum tips to leave or he can't do anything about their service they get.