i was doing the keys in the 70's and 80's before jimmy buffet got there..key west was one crazy town back then..our dive club used to go down every summer..and the diving there back then was as good as any where