What is the general practice regarding leaving a small tip/gratuity for the hotel concierge lounge workers. Also for the people who work the complimentary breakfast buffets at the other properties. I've generally either handed or left $1 per person. However I've not seen other people do this. What are your feelings about tipping?. btw...I also leave $5 nightly for the room maids. Is this out of line?