Last time I cruised, in all the busyness of the last night, I completely forgot to deal with the envelopes. As I was rushing through the hall and the dining room, I told them that their tips were auto-paid. I hope it didn't bother them too much that they didn't get an envelope with no money in it. I assume they did receive my auto-paid tips.