I believe it was a fixed number, maybe $5 that they matched? It wasn't part of the normal tip UI, it had its own CTA and was added as a line item on your receipt when you actually did it.