Is there a cheap ir receiver available? Or would it be cheaper to buy a new cable box?<br>