Supongo que es casi imposible saber cuantos Xiaomis circulan por España, ya que al no existir una división oficial española de la marca, todos los productos han sido traídos a través de importadores "privados", cada uno con su propio proveedor -o proveedores- en China.
Evidentemente, el día que Xiaomi desembarque oficialmente en España, con sus propios canales de distribución y garantía española in situ, sus precios se asemejarán más a los actuales precios de venta "con envío desde España" que a los actuales precios "con envío desde China"