Amusingly, I checked this morning, and the Comfort Access system is working properly, and the car gives no signs it had any problems. We'll see if the TPM system comes back or not, but I suspect it will. My best guess for what went wrong is low 12v battery voltage, and if that's the case, then...