I don't, but my parents bought 2 vintage pinball machines when my brother and I were in HS. One's called Lost World and is the more "modern" of the two, and I'll be hanged if I can remember the name of the other one. It's got a Bicentennial theme, if that gives a hint as to its age.
I still love playing 'em (and other machines, too)...the last summer I lifeguarded, all of us on staff became addicted to the Addams Family pinball machine and spent all of our breaks (and God knows how much $$!) playing it. That's one I wouldn't mind owning someday. It was very cool.