Personally, I'd pay $13 a month just to get the BBC
World Service anytime, anyplace in North America.

My guess is it would cost less than $13 to repair your antenna. Then
you could tell Sirius to shove it.