What I was looking for was the outside diameter of the hex part of the tool, 45 vs. 50mm or some other size, although I do need to make sure the tool will reach deep enough into the pulley to engage. Thanks for helping.

Dave