Fragen zum Radioempfang über SAT

Ein Bekannter möchte von DVB-T auf DVB-S, sprich SAT Schüssel umrüsten.
Meine Frage dazu, er hört über DVB-T, Radio, den Sender WDR 2.
In seiner 5.1 HIFI Anlage, kann er neben dem Sendername von WDR 2 auch einige Zusatzinformationen, z.B. den Titel des gerade gespielten Musikstückes usw. im Display vom Verstärker ablesen.
Werden die Zusatzinformation auch über das SAT Signal mitgesendet ?
Wenn ja, brauchte er wohl einen SAT Receiver mit einem Alphanumerisches Display ?
Welche SAT Receiver mit HDMI Anschluss, wäre dafür gut geeignet, sind dann die Radio Zusatzinformation,im Display vom Receiver zusehen ?

MfG glasfaser