Normal
Yes, the wait staff receives a list of those that have pre-paid the tips. On the last two cruises the waiter, bus boy, & room steward have all thanked up for the tip. Also a little extra tip for good service is always greatly appreciated by the respective crew members ~~!!~~
