Well for a feed of about 1000 mm/min the suggested RPM was about 5000 so I guessed he would be using something faster.
So for 10000 RPM it works out at about 2000 mm/min