Yes, I was handed a card reader to do the tip and was texted the receipt. At that point I would normally have been given the card and put it in my wallet. Hindsight has me seeing the interaction with some suspicion (the friendly distracting conversation was with another employee), but I think the other poster's suggestion just to call and see if they have it there would be the way to go (if anything).