Trabajadores de mantenimiento de maquinaria también se llaman: