Thailand Exports of machine tools for drilling, boring, milling to Kenya was US$5.96 Thousand during 2016, according to the United Nations COMTRADE database on international trade. Thailand Exports of machine tools for drilling, boring, milling to Kenya - data, historical chart and statistics - was last updated on May of 2024.