If these guys aren't getting anything other than tips I would probably be inclined to tip them a bit more than I might otherwise.

I don't think $5 is cheap but I probably would have given more.