THIS!!
Don’t get me wrong, I DO tip but it’s mostly a small amount like $10 to show appreciation for the porter/attendant/whatever they are now called. Cruise ship workers get tipped much higher as they work for basically peanuts; amounts that wouldn’t even be legal for US based employees...