I think the "4-way" screwdriver (ala...the one that used to come in the Colt flat boxes) are still available. One of these attached to the wrist thong would prove quite an asset...not "just" for turnin' the screws on the Astro handle, but for a cornucopia (How's that for a Thanksgiving segue?) of other things!
As far as numbers? I know the #17 is low in production numbers, but I can only tell ya' "my" numbers. I get about 6-8 per year...not many.
Best, Capt. Chris