If you look here
https://www.sharpeningsupplies.com/115V-Motor-for-T-8-Including-Bushings-and-Spring-P2154C370.aspx
you will see that the Tormek motor is indeed 100W. That is a differently branded motor but the label looks similar. Also that is a Crompton motor which did merge with Tyco and they do make reasonable quality motors. It may very well be that they supplied motors for Tormek at one stage.
If in doubt do contact support as Ken says but if it were me I would really not be bothered considering it is the correct power and a Crompton motor.
https://www.sharpeningsupplies.com/115V-Motor-for-T-8-Including-Bushings-and-Spring-P2154C370.aspx
you will see that the Tormek motor is indeed 100W. That is a differently branded motor but the label looks similar. Also that is a Crompton motor which did merge with Tyco and they do make reasonable quality motors. It may very well be that they supplied motors for Tormek at one stage.
If in doubt do contact support as Ken says but if it were me I would really not be bothered considering it is the correct power and a Crompton motor.