Considering High Speed still floats around the $800-1200 mark, and I Agree that Space Shuttle is classic push start again type of game.
But can the co-worker repair? is the question. If not, probably a good idea to rule out any Gottlieb that isn't a system 3,
Comet is always a good starter pin with universal appeal, very affordable, very reliable, not much to go wrong.