Thanks yesthatjallen. BTW, all, by million miles is meant, before replacement, not a million miles per charge. :^)
1,000,000 / 12,000 = 83.33 years of average driving
One wonders if the odometer and navigation system will last 83 years.