This tip question seems to come up over and over. Maybe it should be in the wiki? Something like:

Tipping is not expected at the resort. Everything comes with a service charges that goes to the staff, so there's no need to add on top of that. Of course you're welcome to tip whomever you want whatever you want but there's no expectation like there is in the US.