Not sure if it is only related to playing music from phone, but have noticed that when music is muted for various things, navigation, warnings etc, it does not always unmute and the only way I have found to get the original volume back is to stop playback and restart. Is this another known...