Welcome.
Your questions have been answered, but I will just add that tips are included, not worded as optional, so there is absolutely no need to tip if you don't want to.
We tip for good service from anyone who we feel enhances our experience, but no longer feel obliged to.
Have a great cruise.
Andy