Yup. I’m just pointing out that tips get stolen that way very often. You should ask the server you think your tipping if they get those tips. Far too often you’re just overpaying for coffee.