Ah, figured it out, we think. After many phone calls, he finally jiggled something near the battery cable and everything started working again.
He's going to park it until daylight tomorrow and investigate. I'm thinking that either the positive cable needs to be replaced, the bolt wasn't completely tight, or the cable from the battery to the power dist. box is faulty.