With all the goings on in the world of pinball, has anyone made the martians for AFM & RFM in the proper jiggle formulation of rubber? Has everyone accepted stiff martians as the norm and people are selling the jiggly ones for $1,000 each? Can someone please update me on this, I'm out of touch with the important things in life.....