Cool! I had never seen one of those!
I know, I'll be looking for a copy during my next visit to Sao Paulo. I've had pretty good luck at Galeria Nova Barao (and to a lesser extent Galeria do Rock) in recent years, despite the increasingly salty prices.
As for the Jorge Ben record: I finally received my copy earlier this week. It was delivered on a very hot day but fortunately it is perfectly flat. Having grown up in Brazil I know I'm a bit biased (even though I didn't like Brazilian music when I lived there), but this could end up being my favorite ROTM ever. I've been pretty happy with my discrete VMP haul for 2019 so far (Caetano swap, De La Soul, Nat Turner Rebellion, Experience Unlimited, Oneness of Juju swap, and now Jorge Ben). I've learned that less is more when dealing with them.