I would check with the restaurant too. If she added the tip herself, that's called credit card fraud, and is illegal. We cannot do that where I work, nor would I even think of it.
I hope everything works out for you.