I believe
Sadoun has a receiver with card reader that wil allow you to use the current card you have for the RTVE package , the nice part is that your receiver will not be limited to just RTVE ..... you will be able to get more TV and Radio channels in
Spanish from Hispasat.
here's the link to the receiver:
FORTEC STAR Platinum Blind Search FTA MPEG2 Free-To-Air Receivers and equipment