My brother is (unfortunately) locked into Dish in his condo. He wants a TiVo, though. I was going to tell him to just grab any cable one, but I don't think that'll work with a Dish receiver. Is he screwed? Does he have to go with the Dish solution? Or is there a TiVo box that'll work with a Dish receiver?