We;re going on a group cruise on the Miracle in October. Of course,
we have the option of paying the gratuities with our final payment.
I was wondering if the waiter, steward, etc. gets notice that we've
prepaid? Also, do we get a voucher to put in tip envelopes the last night?