Based on the size and shape of the tool I'm guessing it's a brushed DC motor, which in that size can easily achieve several kRPM --- unloaded, that is. When it's actually being used to do the work of melting the plastic, probably below 1kRPM.