This isn’t an auto-grat. The receipt explicitly says “This is not a tip or gratuity” and has a recommended tip line. This restaurant is either double-dipping to pay their employees less or scamming their customers.