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