Yup...not my place to get into a tipping discussion with the waitstaff or manager....If it is added automatically then it is a gratuity and that's that. Lee's added it to the printed bill in pen so it was obvious...no issues with that. I just add 5% more in cash