How much is your time worth to fix whatever is broken or needs reconditioning. Likely they will at least need flipper rebuilds and new rubber. If you fix them up and they show little wear, you could get around $5k for each, maybe more if they turn out nice. I wouldn’t pay more than $16k if I intended to turn them around. If I was planning on keeping them, I’d pay more, maybe $17-18k, play them and fix them over time. One thing going for you is all those titles are no longer being run and demand for them is pretty strong.