What is Bob Hayes' 40 yard dash time?

Most experts believe that Bob was never officially timed. There was no need to. He was the world's fastest human by far and that included the NFL. Estimates range from him running a 4.2 to sub 4.2