You're saying that there's no way to tip a "barrista" with a debit card? That certainly flies in the face of every other tip-based debit transaction I've ever encountered.
Even if there wasn't, there's no work around that a dilligent employee could figure out??
You can argue the minutia of how it happened, but you can't argue the fact that it did. Her statement showed a line item for a buck more than the actual transaction.