I, too, live in Key Largo, and was diving Saturday and heard some USCG chatter about a diver. Not sure if it is related, but it happened around 11AM (give or take an hour). In this instance, the diver came up too fast from diving the Spiegel Grove, ended up on the wrong boat, and had no bad symptoms other than they were spooked and looking very pale, so they put him\her on oxygen, called the Coast Guard and headed in. From what I could hear on the radio, it seemed very low key, more precautionary than anything. I asked a few hours later to the boat captain of the boat I was on if he had heard an update, and he said no. I'm assuming that's good.