Richmond pro gears or not? Help

I’m looking for some information on this ring and pinion set. I purchased a complete 3rd member that my cousin had built for his 440 dart. That was 30 or more years ago so the specifics are a little fuzzy now. I thought he told me that they were 513 pro gears from Richmond. I searched the internet but haven’t found anything. Maybe someone has more knowledge on the subject. Here are some pics of the numbers on the gears themselves. Thanks in advance for your time.

C883B285-5EB6-4C0D-BA87-9EA77047ACEB.jpeg

B6C85CDD-12BD-46E7-9BDA-8C1022760CFE.jpeg

E21F0FF2-A034-4062-A618-D09B0F4293D5.jpeg