P.s. the old pump had no numbers on it, the new pump did. Was told by a local service center to just put the #12 timing button back on and should run. I have a full set of timing buttons but I know none of them will make a 3 inch difference. It had and still has 3 shims on it.