It might be useful for a piece on here that explains what things like "supplements" are and gives a guideline to issues like tipping. I have had a quick look and there doesnt appear to be that much. As a matter of interest, how much does everyone tip, and do you do it for all meals or just when you are really really happy with the service?