Tips are always welcome, but tipping is not compulsory; they are generally a “thank you” token for a good service.