We are heading down to Puerto Rico in early November. I was wondering if somebody here stayed there and used their local dive operator.

Thanks,
Andreas