Hi John,
I have "Gearotic" which is a brilliant bit of software for all sorts of gearing and pullies. It has loads of different gearing types, spiral bevel, plain bevel, straight tooth, Helical as well as all types of toothed pulley forms, clock making stuff and more. Sprocketeer looks good though and it's free.
bob