Ben Heck’s Atari Dragster: Testing the world record