We always tip extra to people who have treated us well, and most of the time that is almost everyone who has taken care of us on the cruise , room stewards, waiters, bar tenders, baristas and Maitre D s. We do this of our own choosing not because it is required.
Needless to say if anyone does not treat us well , that would be a different situation. that situation has been extremely rare for us. Hope you have a great cruise 🚢