Quantos C4 VTR tem no Brasil?