I see those positions to be more part of the management team who are usually compensated accordingly. I feel like it’s the service employees that are historically not paid that well and that should be tipped.
That said, I love to tip and am grateful I’m able to do it. I’ll happily pay the automatic tips as well as extra tips along the way. I have a standing rule that anything I win in the casino I split with the cabin steward. It makes me happy and hopefully it makes them happy too😊