Im going to stick my neck out and generally agree with you.
Although I believe tipping culture is out of control in the US knowing many folks who work in the service industry including CruiseShip workers they appreciate all tips whether its after, before or during service. The vast majority of international ship employees are very poor by our standards (we literally take $10k/per person cruises) and $5-10 will make their day. Having said that since tip is included in the fare excellent service should be provided to all passengers regardless.
LMB01 isnt giving away your money she is giving away her own so if she wants to make it rain its her business and she is doing someone very nice for these employees who work extremely hard.