Well, after 2 trips to the dealer, they couldn't replicate the problem, and were apparently unable to find any error codes, etc. Yeah, that was a big surprise! Anyway, it hasn't happened since, so I'm keeping my fingers crossed that it was a transient issue that will not recur!