I’m surprised to see no mention of the other Aquarius Reef Base in Key Largo, which I’ve had the pleasure of visiting (from the outside only, freediving) in person: https://en.m.wikipedia.org/wiki/Aquarius_Reef_Base