The mini's recent refresh made its base cost $699, actually.