Yes, Radio Progreso has been back -- I logged it on here a few weeks ago. Heard it last Sunday night, albeit not terribly strong.
I've heard 5040kHz off and on with what I assume is RHC. Not as strong as it was pre-hurricane unfortunately.
The Cuban music is always fun at night, so I really miss Radio Rebelde. RHC has some music too, but they certainly like to ramble on and on before they get to it.
At least Cuba's got good music for an oppressive communist regime -- all of the fun of listening to North Korea is purely unintentional.