I saw a colt delta elite 10mm in gun shop yesterday. It was priced at 1500 bucks roughly (says it was used!). I thought was high so I researched it. Colt lists it in 2012 the retail pricelist at 1062 dollars. Also read on gunbroker listing it is now out of production, is this true?