We are just nearing the end of a lovely week in Austria and have had the same two waiting staff all week (half board). One has been v friendly and the other professional, if a little business like. Is it the done thing to leave a tip? If so, how much roughly? And what about chambermaids? Thanks in advance...