OK, here's an update and more questions...
I received the JNC660 jumper from Amazon. Pricey, but came highly recommended. Jumped the Mitsubishi without a problem.
Prior to jumping it, I measured the voltage on the battery. It was down to 9.6V. After jumping it, with the car still running, I measured the voltage at the battery leads. It was 14.6V. I take this to mean that the alternator was charging the battery by just leaving the car running. Or do I actually have to drive it around to charge the battery?
I ask because I don't have a lot of time after getting home from class to drive around unnecessarily for 15 minutes or to deliberately drive to a further market for groceries. But if I can just study in the car and leave it running, I can manage that.
I drove it around for 12 miles or so. Not a long trip, but I didn't have a lot of time. I got home, turned off the car, measured the voltage again. Battery with car off was now at 13V.