Did anyone expense this?
I've been in a similar situation at a hotel bar where we had checked out and were killing time until we left for the airport. It became apparent that we were talking up space as people were jammed at the bar and looking for tables. I paid a "parking fee" to a waitress that I know is not earning by our loitering. I think you were generous in the situation and it appears you don't make a habit of handing out 10's to anyone who happens by.