Very nice-looking and interesting find, with some local historical interest attached. Well done, and good luck with shipping!
I'm curious: are all old (1950s or so) TVs worth a lot in Brazil, or just locally-made ones or rarer ones like that? How about other audio gear, things like old tube radios? Would there be duties (official or otherwise) in importing such gear to Brazil? Depending on the answers to questions like these, Tubejunkie may be onto something here with the idea of a business...