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