Another thing I didn't know about the Astronaut knives is that it looks like at least one astronaut had their knife modified before their flight.
Carpenter had thumb notches put on the spine of his knife. I wonder if he had it done at the Randall shop?