No merece la pena su reparación desde luego, por coste, prestaciones y piezas.

Recordaba el problema en la siguiente generación, pero ha pasado tanto tiempo que es posible que fuera incluso antes, de cualquier manera miraría cualquier receptor de segunda mano, según las necesidades que puedas tener actuales, por ejemplo con 4K.

Miraría marcas como Denon, Marantz, Yamaha o Pioneer, que en este rango de precios siendo más actuales que el tuyo, puedes tener prestaciones interesantes.