Si en dos sitios distintos te dicen aprox lo mismo es que en principio el diagnóstico es correcto.
Supongo que ese precio será por la placa digital de audio, no?
El resto depende de ti. Por un lado, los receptores actuales tienen un montón de cosas, por otro, hay que reconocer que la potencia de un 575 es mucho mayor, que para eso peas el doble, que un 507 actual por ejemplo.
Si no lo reparas, para sustituirlo al menos debes irte a un 607, no te quedes en un serie 5.