Price is going to depend on how nice the restoration was done.
Did they disassemble, clean, polish all the metal pieces on the underside (like the drop mech)?
Did they replace/repair/bulletproof all the circuit boards?
Was the wire harnes fully washed and cleaned?
Coil wrappers replaced?
Cabinet repainted (both outside & in)? And how well was it done—is is smooth, or full of wood grain?
There’s a bunch of variables that will play into a price. If all of the above was done (meaning attention to detail), probably 7-8k. If not, probably closer to 5k.