Thank you very much for the info and the quick reply. It's irrelevant, so I didn't include it, but there's a DPS number engraved on the back strap. He may have served for a few years longer than I had estimated.
Is there not a model number for it like there is for the Model 10?
Thanks again!