In my opinion (could be wrong as well), it should be somewhere close to 10-13k for a well maintained unit (I've seen 2 getting sold for this price). While it is a very old system but you need to keep supply vs demand in mind as well. The few pieces which come up are sold very quickly.