I have a similar story, almost exactly the same, in fact.
I tried the jumper in the FX jacks. No benefit.
My 1001RB-II went to GK for repair. Had two bad transistors in the output section.
Round trip cost to me was $160.
Another good deal that wasn't a good deal.
It's later than it's ever been.