Onde Comprar Texas

Eu estou tentando comprar o CC430F5133, mas não sei onde comprar no Brasil. Alguém pode me indicar alguns fornecedores de Texas?
Obrigado
Obrigado
Fórum sobre desenvolvimento de sistemas embarcados: Hardware e Software, Tecnologias: Eletrônica digital e analógica, Microcontroladoras, Microprocessadores, Sistemas *NIX (Linux, BSD), Software embarcado Baremetal. Sem fins lucrativos.
http://asm51.com.br/phpbb/