Question: is 20 service charge a tip?
Answer: The service charge is in place to protect the staff from those who largely aren't familiar with or refuse to adhere to generally accepted American tipping customs. If the service is truly exceptional, I'd typically tip 20%+--so I'd add a few dollars on top of the service charge.