I like the tip about boiling tha magazines. I think I will do that with this one and my dad's 742 magazines too.
Boiling, not doubt, will work very well, but I've have good luck just running very hot tap water over gun parts to remove greasy crud. Spray first with a solvent and run enough water over the part to clean and heat up the part to help evaporate any residual moisture. I've done this for 760/7600 mags and trigger groups for years with no problems at all.
