There was a US Senate Hearing regarding Pumpkin Key in 1998
(S.2470) introduced by Senator Bob Graham and co-sponsored by Senator Connie Mack
Side note: Ocean Reef Club is one of the most exclusive private members club/gated community in the US and has it's own landing strip for jets.
https://www.epw.senate.gov/105th/hay_9-22.htm>>2167336