They have sold for $500 plus recently so, $250 could be a deal, if it is a yellow box, they are the more common one lately and the box is very flimsy and likely crushed by the shrinkwrap. The non-yellow box looks to be tougher to find.
http://videogames.pricecharting.c...