Quantos mini extra tem no Brasil?