Less than a decade ago, Costa Rica was virtually unknown as a destination for diving.…