Assuming this is not a wind-up that will start another heated discussion.... ask your t/a if they have been included or not?
From the RCI website: Q: What are the guidelines for tipping on cruises?
A: So that you can thank those who have made your cruise holiday better than you could have imagined, we've developed these guidelines for tipping:
Stateroom attendant: USD 3.50 a day per guest ,
Dining Room Waiter: USD 3.50 a day per guest ,
Assistant Waiter: USD 2.00 a day per guest ,
Head Waiter: USD 0.75 a day per guest ,
Note: These tips apply to guests of all ages.
Tips for other service personnel are at your discretion. A 15% tip will automatically be added to your bar or wine bill when you are served.
Envelopes for tips will be provided in your stateroom on the last night of the cruise. Tips may be paid in the following ways:
Pre-paid, by having them added to your reservation by your reservation agent.
Added to your onboard SeaPass account.
Paid in cash at the end of the cruise