How fast did Ted Ginn run the 40?

Official fastest is 4.16