Also ich hatte das Problem bei meinem 523i E39, da war der Zeiger schon auf ROT
und er hatte keinen Schaden.
Ich hatte wohl Glück - aber ich kann mir nicht vorstellen das bei dir was ist. Warst ja vorsichtig.
Aber ein Check ist sicher nicht falsch.
Lg Roman