I wouldn't spend that much on a tuner since you are starting with about a 128k bit stream. I have Sirius and I think it is actually less than 128k. It is good for background music but that is about it.
_________________________
990/7125, BA VR-3's, VRC, BA CR75, Klipsch RSW 10.