He called them, verified that they had the car, and that they'd get it there by 10 AM or so. Neither of us were particularly impressed by that. He then wanted the VIN to look up my extended warranty. Of course, insurance cards and vehicle registration were in the glove compartment, but some rooting around in my files found a service receipt with the VIN.
He's verified that I have coverage, that I'm entitled to a rental car, and that we can make this work. He'll call me once he has the car; I'll head down there later to pick up the rental, assuming that he's not able to fix it trivially. I don't expect a trivial fix, given the way the car was behaving last night.
More later.