That's well worth remembering and is a lot better than moulding new gears or getting hold of brass gears. It would be nice to see at least photos of the technique being used, especially with these particular gears.
I find it extremely irritating that they built these fine sig gens, which cost the price of a small house, and cheaped out with nylon gears, rather than use brass for a few bucks more. There and again, I doubt it occurred that they'd still be in use 40 plus years on.