Came across an interesting video that said at least a couple(maybe quite a few, it wasn't clear) NFL teams clocked Braxton in the 4.38-4.43 range. According to Matt Miller, in the video, some people around the NFL feel that the lasers start on first movement and not when the player starts running(which, to be honest, I thought I saw a couple of times, where a player moved slightly early and the clocked seemed to start before they actually started). Because of this many teams prefer hand timed. Sure would make sense. Either way, no doubt he gets a better time at his pro day(like almost everyone does), just wonder how much better. My guess is in the range that NFL scouts reported getting.
Check out the video and let me know what you think.