mining drill rigs in Costa Rica