replace, it's going to be 40 quids for someone to have a look then £80 per hour to work on it.
Your 6000 OSE can be pick up for just over £100 on 2nd hand market so even if the fault is a simply one and easy fix, I don't think it is worth it.
The older Marantz could be a good buy too, the...