 So do you know if the little battery has been changed? I don't for sure. When it was in for service, one of the times they did tell me the battery was changed. I guess I wasn't aware there was a separate one for the auto stop function, so I'm not sure which battery got changed.