$380 for the base model. (500GB)
If that's a late 2012, it's about 150 less than current price of used or refurb. Beat to death and no packaging it would perhaps be in line. Looked at 2010 models recently and they were all well above 400. Mini's hold value.
woah! nice!