I generally tip on what would be considered good service
regardless of where I happen to be dining
but on the same note I am so tired of the restaurant having us make up pay for their employees
It is not my responsibility to make sure your staff is payed what they should be
And of course the worst is when they don’t provide decent service but still expect a big tip
Op you did just fine