4 ms·

I'm actually familiar with his work and that's how I decided to make the ball by just sanding 3D printed plastic (though I did it by hand).