Good point, Scroca. I should have said minimum reported total miles. The actual total is higher, as you pointed out.

Edit: I didn't want to ignore the total as incomplete because I was curious how many more miles the totals added (about 56k in this case). In any case, a quarter million commuting miles is pretty impressive for a few cyclists.