I'm rooting for you on this one. Got my fingers crossed for ya!Could be the HK P-7 I bought for $425 new when they first came out from a local firearms wholesaler called Ron Shirk Shooting Supplies. He also had a retail firearms shop at the time. The local dealers hated him.
But, it could wind up being the 1941 square butt DS I just bought if it letters as US government procured.