A friend has a Travel Time pinball machine for sale. I told her I'd find out from much more knowledgeable folks on its value and where to advertise it besides here. I don't know the working condition of the machine, but will find out. As far as I know, it's functional.
If you have any questions, please post them or if you're interested, PM me and I'll do an introduction.