poormom, I have to agree with your point of view. In a case were gratuities/tips are mandatory they cease being that and become a service fee.
So my question is; are the tips adjustable like Carnival's are? If so, I don't have any problems with it. I usually tip extra any way.