2008 Legacy, 2.5L. I have a stubborn oil leak that I believe was caused by the oil pump seal against the block. So, as I was removing the pump I screwed up and popped off a tooth on the crank pulley (see the picture). Are the teeth used by a sensor? So, do I need a new crank pully? Thanks.