Looking into booking a trip in late October. Thinking of trying 3P's and one of these 3 hotels. Casa Mexicana, bahia suites, or colonial suites. Any input from divers would be appreciated. Dont need anything fancy, close proximity to marina or dive shop, pool would be nice but not required...