I would like to see if I could get some info. My dad just acquired a "30yr old" HK94. He purchased this for around $350. I believe it is the real thing, but I'm only comparing it to the pictures I have found online. If there are any ideas, markings, stamps or what ever I should/could look for to verify the authentication of this HK94. Thank you.