Good news - the problem has been fixed by the dealer Today.
I don't know in truth if any "programming" work had to be done as well, but..
.. there was a plug with a blue lead that previously was just taped back to the rest of the radio wiring loom, that has now been inserted into the back of...