For mine, it doesn't matter if I pause it or not. Radio will still play from Sirius on re-entry. Often the display will still show Tidal or Bluetooth or whatever I was playing last, even the song I was listening to, but the audio is definitely coming from Sirius. If I don't change the input back to Tidal or Bluetooth and just leave it on Sirius and turn the car off like that and come back later, then the display will switch entirely to Sirius. It's all weird but I've just gotten used to the silliness of it all. Takes me all of two seconds to switch back to my preferred audio source and get on driving. So it's no big deal for me.