tipping housekeeping @ the Dolphin

[G-gang]

I just got done printing some envelopes and realized that they say "mousekeeping" is this PC since we're staying @ the Dolphin?

I know it's not a Disney Resort but are they still CM's?

[epcotfan]

Dolphin staff are Sheraton/Starwood employees. Any tip would be appreciated no matter how it is presented.