Yo lo he comprado en Redcoon.
Ya lo he recibido, instalado y funciona perfectamente.
Respecto al tema del menu del Ampli en la TV, yo no he tenido que hacer nada especial. Tengo conectado el ampli a la TV con un cable HDMI, y me sale el menu del ampli en la TV sin ningún problema...