no, I never looked. I figured it was good because the International part number was listed as the equiv of the Ford for my year in several places. I might look for it today just for grins but am not concerned. It ran like a scalded @$$ ape last night.
Man, getting that old cps out was a challenge. The bolt was on so tight I split my 10mm socket! I had to borrow one from a neighbor to get it undone. Then getting the old one out was another challenge. Antonio warned me it might be stuck pretty good. I had to pry it out about half way with a flathead screw driver. I sure would hate to try doing this repair on the side of the highway at night! My light fell on me more than once last night.