Tipping is appreciated, though not required. Keep in mind that pre-tipping a little bit can sometimes help you get faster, higher-quality service, especially when being served drinks or snacks by resort staff. Don’t leave US coins as a tip, though – the person you’re tipping may have a heck of a time exchanging them, making it more of a pain than a compliment.