On HAL you will need to ask the purser for envelopes, they do not add them to your account. Some folks think that their no tipping required policy means you do not have to tip. What is really means is that that want to give good service no matter what and are not doing a good job just for the tip. We always tip them just like any other cruise as Y2C mentioned. When we do back to back cruises we tip at the end of each segment and you can tell the staff really appreciate them.