According to this:
http://www.washingtonpost.com/business/big-shift-for-gas-guz...
we exported $37.1B worth of vacuum tubes last year. I could be wrong but that amount seems wildly implausible. Could the category actually be "Vacuum tubes, etc." where "etc" is semiconductors?