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