I have a No.4 Mk2. It is in mint cond. All ser. #'s match from butt plate to mag. How do I find out it's history? I know where n when it was made. I would like to find out if it was ever issued. I paid $275 at a gun store for it. Serial # is PF302xxx. Tnx for any info.