I'm glad you tipped well, as it is a very kind thing to do. But, be aware that if you are dining with someone on the DDP, everyone gets charged an 18% gratuity. So you tipped well, and probably paid the flat 18% as well. (Still worth it, I'm sure. but it is good to know that they do this)