the bet, lost actually
It turns out that Peter actually won the bet. What he had looked at was the time that he finished, not the net time, or the time that he actually ran the 4 miles in. So now, we owe him lunch. I took him to the sandwich place across the street.
It's a sad sad day.