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.