I’ve Seen a nickel plated PPKs for sale recently. Early 1970’s E. German Interarms,etc. Nice plating looks very professional ... except the front and rear sighting paint marks are nickeled over? Did Walther offer factory nickel plated pistols? Never saw one before. Just wondering.