@edgarblythe,
I tip for table service only. Not counter service, not cafeterias, not take-out.
Of course, this is my own rule, and I realize not everyone agrees with me.
In this case, I'd be unsure too, edgar. Do you think it was her job to wait on you?