i HAVE SEEN THE NUMBER OF PEOPLE WHO 'STIFF THE WAITER' at the end of the cruise.
I also prefer to tip people myself and we ofen give more than the minimum if deserved.
If the bottom line is tha the cruise lines feel their staff is not being tipped ( i.e. paid) according, raise the basic cruise fare and do away with tipping altogether.
once again, if you service is superior, you can also tip extra.