Qual é a diferença entre dobrador de tubos semiautomático e dobrador de tubos totalmente automático?