I use to work at RNV in the early 1990s as their English language
newscaster. We always had problem with the transmitter. As of late,
they have been off the air on shortwave and yes, the freq is 9540 kHz.
The px you may have heard is "Alo presidente" relayed from Cuba and
produced by RNV.

A similar relay can be heard from Radio Exterior Argentina, which
retransmits px from Radio Nacional and other outlets on 11710.kHz


Marty
San Juan, PR