I can tell you firsthand that 96.7's signal is iffy in the Keys, at best. I only get it because I try for it and have decent DX equipment.
Havana used to use 98.7 for R Ciudad de la Habana. They use 94.9 now. Key West has used 98.7 for about 15 years now with a 100kW signal. They were briefly off the air for a couple of months in 1996, maybe between owners.....I caught the Havana 98.7 from Geiger Key near Key West, very faintly, running parallel Havana's AM 820. So they did co-exist.
What's interesting is that 96.7, formerly a Class-A-only frequency, has NO stations in FL at all...nowhere in this big state, except for translators & LPFMs! Because of this, 96.7 remains the only decent Cuban FM "beacon". 96.7 is not the strongest signal from the Keys, and I can hear other Cubans from the Keys, but for the most part, I have to brush off US co-channels.
As I make my way down the Keys, 99.9 seems to be the strongest one, but WKIS gives it a fight a lot of the way.
cd