I posted too soon. Tonight the car broke down. The serpentine belt was toasted, and I think an idler pulley broke off and abandoned us.