Brought car back from shop and few things are looking weird:
1) I turn on the radio and it displays the station but the antenna doesn't come up and no volume (sound) from the radio
2) The car vacuum door locks don't work anymore; I close the door with key and other door knobs stay ulocked.
3) The interior dome light come on when i turn on the radio

I was told by the shop all they did is recharge the battery with a portable charger after the car didn't start since they had the doors open all day while working on the car and drained the battery.

Is this a temporary state or did something go wrong. Any pointers on where to start looking?
Thanks.

__________________
Joe95E420