I was going to say that the Mini should be pretty cheap now that it’s two generations old – the 13 is down to $629 new, after all, and the Mini ought to be $100 cheaper…
But it looks like Mini demand has actually driven prices much higher than the normal 13. Strange, almost as if there IS demand for small phones…