Two issues are being muddled here. The maximum mileage allowed for a lease is 20k a year, but the maximum mileage allowed for an extension beyond 3 years was 20k total over the 3 years, although it sounds as though that option is no longer valid as no extensions are now allowed other than WAVs.
