Were they recording the speed using timing lights or a radar gun?