De nada navas , para eso estamos.Si te sirve de ayuda exactamente se llaman extractores de tornillos y los mios son de la marca IRIMO.Te pongo 2 fotos para que te hagas idea:
Este es un juego completo para sacar tornilos de muchos tamaños , ya que suelen hacer falta en el taller , pero creo que te puedan vender suelto alguno de los pequeños (sobre todo el tercero) .Te puedo asegurar que para el mantenimiento de la mini , los usaras varias veces , ya que la tornilleria china es de hojalata.Saludos.