eBay is a bit hit and miss - there have been some very reasonable buys on there from people like MarkC where the machines have not reached any great heights; then there are other machines that are overpriced or the bidding has been too hot.
It depends on whether someone who is thinking "I must have a pinball machine whatever the cost" jumps on at the wrong time for you or not.
