Just saw the news at https://ir.lucidmotors.com/news-releases/news-release-details/lucid-and-siriusxm-introduce-siriusxm-across-full-vehicle-lineup
Personally, I only use Spotify. But I do remember seeing people complaining not having SiriusXM. Glad they were able to add it retrospectively...