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