well - I think that restored they are worth about $1400 as a set.
Just not sure about core prices.
Usually it runs around $150-$200 to get a booster rebuilt (ur own) and another couple hundred to get the master done (if rebuild capable).
If I had to guess at a number I say at least $600-$800 IMHO ...
But could be wrong to the low side too....
Bill