Cara, espera a Grok lançar. Eu sei que a espera pode ser maior do que esperado, mas talvez seja melhor aguardar só mais um pouco. Não tá fácil importar recentemente....
Mas se você tem a grana e quer importar de todo jeito: Tem na Tiendamia e na Amazon americana, só comprar normal, nenhum segredo. Pode também arriscar a Zatu, que apesar de vários relatos de devoluções ainda entrega no Brasil.
Vai sair bem caro, mas não tem segredo nenhum e o processo é simples. Eu não recomendo Grabr porque não imagino alguém aceitando trazer uma caixa enorme e pesada como a do AoI, é a opção mais barata mas depende de sorte e pode levar muito tempo para alguém aceitar seu pedido (se alguém aceitar).