Just came back and totaled everything, down to Starbucks in the airport on the way home.
There were 3 of us, myself and 2 adult children. Total was $3780 for air, lodging, food, transportation, souvenirs, everything, for 10 days for the 3 of us. Didn't skimp - no route taxis or budget accommodations or cooking our own meals, had plenty of drinks in bars, nice dinners out (lobster a couple of times), boat and tours, private driver - did all we wanted. Stayed in 3 different areas. Always seafront with pool, AC, wifi, etc.