Wow, that's so cool! I have Little Chief by Williams which is a LOT like Aztec. I haven't even begun to restore that one. I also have El Toro, by Bally. It took me a week to get all the contacts clean..
Hey, since you're familiar with pinball machines, I have a question...in his video above, some of the solenoids seemed to have a motorola logo on them.
But I don't know enough about electronic parts (or replacement parts--or hell, blue tape with a motorola-like logo on them) to know how to interpret it. I was mostly like, "Wait, motorola did solenoids in the 70s? Or are those replacements? Or just branded electrical tape?"