Thailand Exports of boring machinery; pile-drivers and pile-extractors to Costa Rica was US$139.29 Thousand during 2017, according to the United Nations COMTRADE database on international trade. Thailand Exports of boring machinery; pile-drivers and pile-extractors to Costa Rica - data, historical chart and statistics - was last updated on May of 2024.