I have the identical, a gift from a client. I love the sound it makes, much different from belt driven. Although I was probably driving it with a flat tire.
I'll look and see if the manual is specific to the machine or generic.
If specific I'll run a copy for you if you need it.