I'm glad they know. There is no reason to remove the tips. If you feel the service was beyond the auto tips, add another cash tip to it. Most of the people removing auto tips are cheap and have no intention to tip. I say most because I do believe some long time cruisers perfer to tip individually. I like auto tips, I look at it as a base tip. I have never had a reason to remove an auto tip.