Nice round numbers today. That's 74k over 20 years; 3,700 miles per year on average.