Virtual pinball machines ARE awesome...but you can build one of your own for a fraction of that price. I built mine for around $1600. (Check it out at
www.davesclassicarcade.com). You can also buy them cheaper than that at
www.virtuapin.net (starting at around $5000 for a full-sized one).
As for the repair service, I have had a couple of my games repaired by John Clements in Raleigh. His e-mail is
pinw...@aol.com. He should be able to help you out. He charges around $50/hour.
-Dave