We just had dinner at Marina Cay (packed, btw). They add a 20% tip. The server was very good, so we left her $5 cash.