HAL's "tips" have been changed to read "hotel service charge" on the bills. One has a few options re: tipping.
a) leave the auto tip "hotel service charge" alone and know everyone gets a piece of it.
b) remove the "tip" and pay out individually whereupon those that get them must pool them. (A list is sent to the head of housekeeping and distributed to the seperate decks of who has removed the "tip")
c) change the amount of the "tip" at the front desk and then tip extra accordingly. Again, these will have to be pooled.