I have knowledge of the bitrate at which Sirius transmits, and while it varies by station, 32/kbs is (or was) typical.