Hi guys. A friend of mine has an HK4 he bought new in Germany back in the late 60's or early 70's. I haven't seen it yet but he says that he's never shot it and I assume that it's not import stamped either. He hasn't had it out in years but he says that he remembers that it came in two factory boxes; one has the pistol and the other has spare barrels in the other calibers and the corresponding magazines. He's interested in selling it but has no idea what it's worth. Neither do I. I know that HK4's are not very expensive themselves but I don't know what the other box of stuff is worth. Can you guys offer any ideas? Thanks!