@adamjcook Thank you Adam, this is super helpful! Yeah, I think the $4000 credit could apply, because technically the dealership owns the car, & we were renting it from them. So, we're buying a used car & the first owner is the dealership. But I think we can't.
The structure discourages the leasing party from buying the car, because it's actually the same or cheaper to buy a new EV, due to the $7500 tax credit, OR a separate, different used car (even same year/model!), due to $4000 IRA credit.