Can someone tell me the same of the website that calculates the tips for the servers? Also, how much do you usually tip the person who delivers the room service food? Do you tip the person who picks up your clothes for pressing? Do you give a tip for the person who irons them (how would you even do that??). I know generally one tips the servers, et al; the spa people, bartenders, camp counselors, room steward. Anyone else? We are on the 7 day Thanksgiving cruise and want to start my envelopes now.