I received my aftermarket timing timing cover today. Manufactured by ATP. I bought this on rock auto but it’s also available through summit racing. Looks like the distributor port casting is about 0.100” taller than the stock timing cover after measuring from several different reference points. Has anyone else used an aftermarket timing cover? Have you seen the same thing? Any distributor gear engagement issues? I have concerns.