From the Texas Mile, not sure what he ran.