This would have been a good option as well. $10 seems like it would have been an appropriate tip, maybe the cheap tippers would have been offended had OP pocketed their ones.

I hate cheap tippers. My husband and I usually leave 20% unless it is an odd situation like the one OP described. We have a real hometown restaurant in our downtown that serves great breakfasts for about $3.00. It just seems rude to leave 20% of $6.00, so it would be an instance where we'd have no problem leaving a $3.00 or $4.00 tip.