Hi Everyone! Hopefully this is a quick one to answer... I did not get satellite radio in any package or add-on with my 2015 Mini (F55) in December when I purchased my car. Thus, I don't see it as an audio option in my display screen. In my research, I see that newer Minis are equipped with the satellite antenna regardless, and I can bring it to my dealer to have it activated (I know, it's pricey to do this!). Is that true? Also, once activated, will the satellite option appear on my display along with the normal radio, external devices, etc.? Or will I end up having to mount a Sirius thing to my dash?