Alternate link for people who can't be bothered defeating WAPO paywalls: https://kotaku.com/infamous-atari-player-gets-world-record-r...
http://www.twingalaxies.com/feed_details.php/87/dragster-des...
Contains some interesting insights about the Activision's spotty history of archiving game records. The most surprising thing to me about all of this is how Dragster's creator, David Crane, feels so sure that the record is sound: "I have no doubts, then or now".