I voted yes, but another aspect of the bar pricing scheme is that people see that price and make their decision by it and not by what the tip adds to the price. This is not unlike the ploy used by new car dealers who advertise a new vehicle for, say, $19,999. A mindgame plays out and people register it as less than $20,000, which it is, but we all know in the end it will be thousands more once the taxes and other fees are tacked on. Commerce in the U.S. is generally like this, with sales tax being assessed at the point of purchase but not on the price tag. And the auto-gratuity probably perceived by most as being like the sales tax being tacked on, and we don't really think any more of it.
Actually, the cruise lines could be squeezing some more profit out of the bar sales if they adjusted prices to include the tip, and also rounded things to the nearest nickel, which plays on American minds since we typically don't "like" pennies. Thus, that $1.75 can of soda, which is $2.01 with the 15% tip, could be sold for $2.00 and they could make up for that lost penny by other sales which may go up 1 to 4 cents in the price roundup. A can of beer is $3.74 right now, with the tip. Make it a nice round $3.75.