Looking for some help and I thought someone in the lounge might be able to help out. I have a Walther PPK/S, .380 caliber and I'm trying to determine the manufacturing date. The gun is serial number 194XXX. I know that it's either 1972, 1973, or 1974. Any and all help would be appreciated.