I would also go for the mini if it had dedicated GPU. Without it it is a no go though...
That, unfortunately is the deal-breaker....One of my buddies wants to play th odd FPS....The Mini just isn't designed for that. On all other fronts it fits the bill though. Back to the (seemingly endless) wait.