We have sailed many, many times with HAL and they definitely DO NOT add any gratuity to bar bills or wine bills. The TA who told clients that information is mistaken.
We always tip more on HAL than we would on any other cruiseline...the service is better than we receive on any other cruise line.
We always go to the "office' and they have all the envelopes you desire...but they are by request only. At the end of every cruise, there is a big basket (or other container) with envelopes on the office counter and you can take the number you require. They do not distribute them to the cabins.