Originally Posted by a11y
I got fairly clued up from some of the posts from stateside members having to recode batteries, but that's a good summary of it
I don't know what the reality is TBH. But surely if it happens on my car, I will change the battery and simply register new battery to keep the things smooth.
For OP, I would not worry much about it and do as a11y mentioned.
Swap it and give it a go.