Ni3Frontier & Walrus,
Thanks for your help. The online PPK manual at Walther America was really useful. I basically wanted to know how to field-strip and which parts they recommended lubing (or not). I'll keep my eye open on Ebay/Gunsamerica/Gunbroker etc. for mags and an original manual.
Walrus, if you can find your contact for mags that will make life a lot easier.
I like my PP so much I'm thinking of getting the Walther/S&W PPK in 32ACP too......sure beats a 22 for plinking, just wish the ammo wasn't so expensive !!