I always ask the person helping me if they actually get the tip money when using some kind of kiosk. A ridiculous number of places “tip out” not only to cooks, but to managers and owners.

If I have cash and I think they deserve a tip, I will give them the cash directly and tell them to pocket it.