Jack, you are building Conditional type II sentences (present non-factual): (1) Correct. There are no other cars in the lot; he does not have to drive farther. (2) Meaningless.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.