The departure tax thing has been very inconsistent lately. Best to have the $35 US on you just in case. I have had clients who definitely paid the tax in their ticket price but were still asked for it and not allowed to board the plane until they did. I have since been able to get them a refund but it was a major hassle and they had to have the $$ on them to leave (or get a cash advance at the airport bank!)