Tips aren’t just a sign of politeness.
The popular tradition of giving tips to workers, be it a porter or a bartender, is not just a nice tradition. The thing is, the staff is rarely paid well, so $5 to $10 can really make a difference.