I have used Mr Pinball & Craigslist (never eBay), but most buying/selling has come from Pinside or word-of-mouth from people I know. While the other avenues are free, the fees are very reasonable here and supports a site that I use daily. I also like that you can see what kind of person you're dealing with based on their posting history.