Just to add another voice to this:
I would love to see a TBS ISDB-T Tuner for the Brazilian market, with Linux support - preferably PCI or PCIe rather than USB. The DVB-S cards are very highly regarded it seems, and TBS are missing a large growing market in Brazil without this in the product portfolio. I have emailed sales, but as someone else mentioned, not received a reply.
A Product/Feature requests section on the forum, that the TBS developers are actively involved in, would be fantastic!
Alex, Sao Paulo.