10k com desconto educacional, à vista e com 8gb de ram. Como a versão com 16gb não costuma aparecer em outras lojas, não é pra mim.
Pelos meus cálculos o mini vai sair por uns 9.5-10k com 16Gb de ram. Bem caro, mas depois de 3 anos você vende quase que pelo mesmo preço. Também estou cogitando...