I go headphone out to my DR680 (or whatever bit bucket you own)
Be aware, the Sirius signal is highly compressed and is prone to stuttering depending on your processor/system. But it can be recorded and does sound fine, if a bit mp3-ish, on playback.