Would be interesting to know how much/gallon of ethanol exported to Brazil,I as a U.S. taxpayer subsidized? futr