Does anyone know anything about these guns? What is the price range they are in. I was told they are no longer in production, and a guy I know hasone never shotin the box all stainless for about 800 bucks. He is in a jam for money. I know nothing about these pistols and could only find some info on them. Any help?