From El Capitan to Divers Sanctuary, only the name did change but the corals and the fun remain.
Always the place for our last hurrah for 2 consecutive years now, and counting...