Effects of truncating 4th digit after the decimal point.
I hear Mr. Green's shooting for 1000 mph. A scenario:
His first run , if recorded to .0001 second, would have been 3.6009, but is recorded as 3.600 second.
Second run, if recorded to .0001 second, 3.6019, recorded as 3.601 second. Mean of 2 recorded times is 3.6005 second, recorded as 3.600. Record set at 1000 mph. Mean of 2 times as read to .0001 seconds, 3.6014, calculates to 999.611 mph.