I've sort of asked this in a different post, but it may have been lost at the end. We're staying at the Cheeca Lodge in Islamorada next month. I've heard they have a dive shop at the resort, but I can't find any information about it. Anyone have any scoop for me?