Peter, I pay the bargain price for the cruise and gladly tip for the wonderful service I receive.
Do I like to tip , definitely not! I still think that the service would suffer and the price of the cruise would increase more than the tips being added to the current price.
I do know that in some European countries, service charges are added to the cost of a meal in a resturant. That is still a tip by another name.