Unless I'm mistaken, in the interview with Dobson linked to on the front page, Dobson says that he ran 4x1 mile in 4:13, 4:18, 4:18, and 4:13. The wording is a bit tricky, perhaps leading the Brojos to think that, as stated on the front page, Dobson ran 7x1 mile in 4:14avg. Just thought I would point that out.