I'm on the look out for a nice future spa. It was my first pin from my childhood my dad bought. And I'm revisiting the pinball hobby 25 years later. So very much nostalgic for me. Any advice on buying an old machine would be helpful. I'd be buying g it with intentions to keep. Possibly having it shopped out. I don't need it to be the nicest future spa ever. I think that father and son project future spa is going to take that cake anyhow when they are finished. But I don't want it to look trashy.