That same $$$ will buy you the 2014 "high end" Mini (from the right source), with 8gb RAM standard, IRIS graphics (much better than HD4000), and a 1tb fusion drive (120gb SSD + 1tb HDD).
I have a 2012 i7 Mini right here, typing on it now.
But if I had to spend that amount of $$ on a "new" Mini, I'd get the 2014.
It's a much better buy.