I was under the impression that generally (maybe this is a UK thing?) credit card tips get pooled and shared out between staff, whereas cash tips, although they sometimes get pooled, are more likely to go straight to the person you give it to.
Either way, it's not really relevant to this story..
Either way, it's not really relevant to this story..