Speaking of Ruger No. 1's, is it true they are now discontinued?