I am looking to purchase a MKVI. The purchase price is $750.00 for an excellent condition pistol. It has a CR prefix, 5 digit serial number and is marked on the slide, "Professional Model". I sold a similar Detonics about 15 years ago for around $400.00 and was curious to see if the current price was reasonable.

Is this a decent price for a model of this type and SN range? I would appreciate any suggestions or advice on this potential purchase.
Thanks,
Mark