You don't even have to have the audio repaired, assuming that the player is still decoding audio and outputting an I2S signal, you could just add digital out to it and use it as a home player or add a DAC to your car. Such a mod would probably be cheaper than the repair anyway. That's a pretty tempting option for me actually, but if Paul will pay $250 for it, let him have it!

Stu