[juan ruiz]

what type of timing device was used to record this speeds? I ask because my sources are telling me that the device was way off.