Asking prices are all over the place...
I've seen DeVels from $800 to the one you mentioned at GunsAmerica for $3995.
An associate of mine picked up an ASP for $2200 last year; I've seen them advertised for as high as $5500 (Quest for Excellence Edition)
You might also try:
Jim Ronaghan in NY
516-921-7077
JT5249@aol.com