Let me know when you are going to be down there. I am in Orlando and usually do a Keys trip in April and September. Know most of the dive operators in both the lower and upper keys. As a Divemaster I have led quite a few groups in the Keys over the years.