Yo compré la setoolbox y de igual forma solo venian los cables respectivos y si es la original.
Solo que ya vienen activadas de antemano, no necesitas el codigo o tarjeta de activacion.
Me parece que si es la original puesto que estas ingresando bien al soporte y puedes descargar, te reconoce la card serial por lo que me parece que estas bien.