No, no problems, next start-up was perfectly normal. I did wonder if the radio might need a reset code but was reassured by the fact that, as Fred12345 mentioned, folks are regularly advised to disconnect the battery negative to reset the electronics and no-one has reported any problems from...