Oh yeah, he also babbled about service being included in Europe -- even mentioned the names of a few countries, I guess to make sure I knew where Europe is.
Right, but we weren't in
Service (and tax as well, btw) is indeed included in Europe, but the staff is payed so badly that we still tip. The amount varies from one country to another. Usually, it's around 3-5%. You simply round up a little. For example for a coffee for $1.8 you'd pay $2.0, with a $23.5 meal you'd tell the waiter to make it $25 or $26.