Service charge at restaurants

Restaurants add a 10% service charge to the bill (as well as the 7% GST). Therefore, there is no need to add a tip as well.