Me acabo de dar cuenta que he mirado JVC X7900 y supongo que el modelo que me comentas es el JVC 7900 ,
pero no he visto ninguno de segundamano en venta.

Saludos.