eBay can be a frustrating place to buy and sell pins. You can see title "A" go for "big bucks", and suddenly a flood of title "A"s hit eBay for half the price. Right now - it will be all over the place, as we get close to Christmas. It will be in the "seller's" cycle. August is a seller's market also, as workers get their tax return.
If you REALLY want that machine - then be prepared to pay extra this time of year. Patience will land you a good deal. There was a "Stellar Wars" that was BIN $250 around this time last year - so anything can happen - and usually does.