Sounds about double the usual used prices to me. If you are patient and diligent, you should be able to find a good used Series instrument in the $3500-$6000 range. Remember, “asking price” is often significantly different than “selling price”.
Bill, tgo