Mini comemora 9 anos no Brasil com mais de 17 mil unidades vendidas