Hello everyone, I got a question about Timing Belt tools. I'm looking for a cheap timing belt tool, and so far have only found a Mickey Mouse tool on E-Bay...needless to say I'm not happy with it. I was if any one has used the factory installation tool? OTC 303-097 Timing Belt Tensioner Tool Wrench.