I would think another great thing to do - if they didn't take the tip - would be to get their name and write a letter to the management, stating how helpful this person was. I've done this a few times in different circumstances and I always hear, "People don't usually tell you when you do a good job, they just complain when someone does something wrong. Thank you for letting us know!"