I am in a similar situation and asked for advice on the message board and got none.
You probably want to find out what is being used locally in your area. Best to check around for an electrician who can do the install and service the product. Then go with what they suggest.
I believe the TGM mini splits are from Brazil. I had trouble finding them on the internet as well, but they do use them in San Pedro.