Just ate at a restaurant downtown. The bill has a 20% service charge which was $52.00. Is this the tip or does it go to the server?