$800? They were below that on sale. I seem to recall the all time low was $400 for 16gb models of the mini at one point.