I would just get a new one. $4000 is a bargain for such a brilliant amp. It is mellow and resolved like the finest tube amps. I have one and it's staying for life.
Rudi doesn't get enough respect for this amp. It used to be over $5000 a few years ago when the Euro was higher.
God, what an amp!