I did a tour of the factory 27 / 30 years ago, I asked that about them, that was there answer, 5 to 5.K made, just under 3300 shipped.
I'm thinking I should have followed up with what happened the the rest, but I know of one factory employee received one for a retirement gifts in 1988.
I'm just relaying what I was told at Ruger back in the day.
Scott