Als Herstellernummer wird 06017B6002 genannt. Die Bezeichnung müsste daher "GWX 13-125 S Professional" (man beachte das S) lauten. In der Beschreibung wird die Drehzahlvorwahl erwähnt. Dafür steht das S in der Bezeichnung.