It is interesting that these terms define a penalty for driving more the 12k miles a year while their TOC calculator defaults to 15k miles per year.