We went a restaurant tonight that charged a 15% service charge. On the bill, there was an additional recommended 15% tip. Is the tip not the same as the service charge? We had excellent service so would you add 5% (to make it 20%) or 15% to the total?