Pues tabto el receiver 12S1 como el 9600 llevan deco de HDCD.

Obviamente con que lo lleven el lector o el receptor me basta, no necesito dos.