If you run into such issues in the future, give TSS radio a call. They carry a lot of accessories, and know Sirius hardware quite well.