Battery charged ok, so not a failed battery (I have a CTEK charger that checks battery health). Probably flat from sitting at the dealers for a few weeks followed by short journeys)
I don’t have the radio code card, so changing battery may be tricky, though with jump leads it should be possible to change the battery without interrupting the circuit...