Performer RPM Head Value

I always believe that a quality used part is normally worth about half of it's new counterpart. $800 sounds about right.

That's the rule of thumb I use as well.