This may seem like a dumb question, but when I get a free breakfast coupon for being a diamond at an HGI, how much of a tip is expected?
The real cost for the breakfast is $15.

I typically just fix my own plate and beverage and never even use the server for anything.

Is a buck okay, or should I be tipping 15% on what the total cost would be?