I have a Walther PPK/S .380 that says Made in France. No mention of Manhurin, but there is St. Etienne marked on the pistol. This gun is in great shape, and I have all the paperwork and box. I haven't found much information about the St. Etienne marked guns. Any information on where I can info or possible values would be great.