Quick question. Does anyone happen to know the correct socket size for the crankshaft pulley bolt. (87 9kT) My 1 1/4 is a touch too big. I'm guessing 30mm? Help please as I am under the car now. I'm posting this in several locations to get the quickest reply.