Been doing some reading on here about these lately. There is one for sale that I'm interested in. I was wondering what others opinions are on buying a gun that is no longer in production. Does anyone know how many of these were made? I believe they have not been made since 2009. I read that phillips can service them. Please, I would love to hear your feedback.