I have a copy of the NHRA notice allowing the 8.75 in Junior Stock. I can’t remember if it’s dated. If dated that would give one an idea of about when the factory started putting them in 4 speed cars. As far as the cars that got warranty replacements the shop invoice would probably the only proof.