I talked with Al about this...because he was never aware of this 425 mph record for the kilo....reason...this speed number on the certification is in km/h...and he never converted into mph...
Al told me, that his paper of the timing he got, showed only one way this 425 mph speed...and a slower run on the other....looks, that someone done here a mistake...
after I asked Al, there was some communication with the FIA which ends up with the comment from them "it stays so in the FIA list...and it will stay so...." also if there is a mistake.
For Al, his opinion is, that they gave him a far to fast speed record...
and Dan, I can remember the way as you show it, also Al mention this timing lights this way