My point was that these are 3-year-old cars, most with light usage. It's easy to find examples with 15k miles. The packs have held up very well - mine had lost

My point was that these are 3-year-old cars, most with light usage. It's easy to find examples with 15k miles. The packs have held up very well - mine had lost at most 5% of its range, if that. So, assume 22kWh capacity left, that should be worth $4k alone by the author's metrics.