WOW...Jim said they usually could be had at about $100USD... In that thread Jim doesn't mention price just a complete description.
Printable View
I am going to dig mine up and take a look. That one looks very similar other than the scale color. I can say the quality on the ones I have is not great. If you store them blade closed the spring fails.
I just don't think I'd get $4000 worth of enjoyment out of one of those rickety knives. I have a similar one that just doesn't have the bale, made for civilians. I paid about $70 for it a couple years ago off craigslist.