firstcadlibrary has one, but they seem to be down right now.
The pinion gear is a 15 tooth, modular 7 pitch gear. Pitch Diameter is 10.5mm and the gear has a 9mm face width if you couldn't read the posted pdf.
You can find gears to mate with it from PIC
http://www.pic-design.com/
Also, a nice mm to inches converter can be found here
http://www.omnis.demon.co.uk/