Yeah, that Junk Yard is a rare pin and in good shape should go for over $2K.
If those pins were selling for $1200 I am at a loss for words. A data East is the low hanging fruit and I was seeing a Jurassic Park (one of the best Data East pins) going for $1,000 at auction.
Funhouse and World Poker Tour..... that went for over $2K at an auction I went to recently. Funhouse was designed by one of the top guys in the Pinball industry... Pat Lawler..... That is easily a $2K pin... maybe a little less.
-JD-
*Edit* US Amusments hasn't updated their site in a LONG time. I would have love to try and bid on some of those pins.