My experience with eBay is not the best (not the worst, either), so I'm inclined against that, although that's about the only place I'm going to be able to find another HR10-250.

I need to sit down and calculate a monthly bill comparison between the two options. FWIW, DirecTV is definitely not now head-and-shoulders cheaper than cable like it used to be.