Im looking for the phone number of a dive operator in barahona or pedrales area. Rivera Beach hotel seems to have sunk. I dont know about the Coral Seas dive people. Thanks les Belzer