I live in the UK. If there’s a service charge I always ask the server if the staff actually get any of it. So far they’ve all told me that they do. If they were to tell me it all goes to the restaurant I would not pay the service charge and leave them a cash tip instead. I tend to tip at around 20%