I was browsing through the archived Activisions on AtariAge ( https://atariage.com/magazines/activisions.html
) and it seems like the timelines for things is... off.
Up until Volume 5 (Dec 1982), the top listed time for Dragster was always 5.57, shared by 3-4 people, Todd among them. In Volume 5, however, is the first time 5.51 is listed. What I hadn't seen before was on the next page, where it shows that only 2 individuals had claimed the time - Todd not among them. In Volume 6 (Spring 1983), Todd is also added to the list. Volume 7, which to my knowledge is the last issue, doesn't include Dragster at all.
Also, to provide some more context, Todd claims he achieved the 5.51 in his home on March/April of 1982 (courtesy of his testimony in the video). He also claims he achieved it again at the Electronic Thing show in ~August of 1982. It seems like a pretty significant time discrepancy for the publications if he wasn't credited until Spring 1983. There's also no indication that the other 5.51 players were removed, as he describes, because Dragster is no longer included at all in Volume 7. At the very least, they weren't removed internally until after Spring 1983, which doesn't match with his testimony.