Quoted from Spencer:So, the choice.... Buy inferior colored plastic set and sell off some of my originals. Or wait and hope to score a few originals once people start replacing them...
Nice to have a choice. When i went through mine the choice was repair as best you could or buy the one NOS set that was showing up on Pinball classifieds for$400US i think it was.