Thank you for your tips. As I am in the US, I of course know that grtuity normally is not included (and I know friendly waiters who pick up the accent and mark "service not included" on the bill). But I wasnt quite sure if fancy restaurants might not include the service, because 70 bucks or more for service, wow, I mean, thatīs kind of mones.