lightly used CBOB? I bought one of these before they announced the production halt and sold it shortly after. I have found myself looking for another one and assume the prices have gone up since selling mine. If I recall correctly, I bought one for under $1000. What is the collective thought on the value of one now? Lets figure the gun is lightly used with box and papers.