Though I suppose we're drifting a little off topic

thanks again for the attention!
For what it's worth, I can report that there is nowadays a lot more IKM stuff available from local vendors than there
was some years ago -- I even see some things in Mac-centric shops in shopping malls these days -- but it's
mostly the smaller items. (I think I've seen at least the first-gen iLouds for sale, though -- or at least listed on vendor web sites, if not actually in stock!)
Admittedly, this is surely partly because these sort of gear is all significantly
more expensive than the same things go for in the US, and of course local salaries are even more significantly lower than US salaries, making any given item pretty pricey by local standards ... so I guess most potential buyers are probably buying smaller and (thus) cheaper things when they have to buy anything. Not much to be done about that, probably! It's probably some blanket import tax or something that makes the local prices actually higher than in the US.
I have heard that getting audio gear into Brazil can be quite a headache. I dunno if it's the same for other S. American countries, including mine (though hearing that it was would not send me into shock!).
I do see things for sale on the local equivalent of eBay that don't usually seem to appear in formal vendors' inventories, though I'm not quite bold enough to try that route here yet!

Anyway, I could easily order an iRig 2 HD and have it delivered to my house without too much hassle, so that would be attractive in the short term ... if I could then also find appropriate cabling to get from the headphone jack to the band's little mixer! Though since I have gotten away with just running my bass straight into the mixer, I guess don't actually need a balanced output signal. So maybe an iRig 2 HD would be just fine .... It doesn't have the cool switches and pedals of the iRig Stomp, but I don't need that for bass.
I'm actually also kind of wondering about how to use the iPad as a source of audio with a keyboard controller. (I could be John Paul Jones

and sometimes swap the bass for keyboards!) Obviously, iRig Keys could connect to an iPad and be used to play sounds with appropriate apps (SampleTank, iGrand, GarargeBand, whatever), though I'd still have an issue getting audio out to the mixer, etc. But if I were already running audio out through an iRig 2 HD (for use with Amplitube iOS and my bass), then perhaps I could use a Bluetooth-enabled controller keyboard to talk to the iPad and play stuff, piping audio out via the iRig 2 HD?