HDTV hiatus

Buckeye is coming to get their cable box tomorrow. Why? Well, the test period’s finally up, so I either have to pay for the box and subscribe or give it back. I’m giving it back, which means I’ll be HD-less for a while. I have a confusing set of options at this point.
Option 1: I could pay Buckeye $385 for the box plus monthly charges of $6.95 (for the local broadcast channels; they still don’t have ABC, NBC, or PBS in HD even though they’re broadcast locally), plus another $10.95 (for DiscoveryHD, ESPN-HD, HDNet, and HDNet Movies). This is on top of my existing cable bill, and I really, really don’t like the idea of having to buy the box. I’m not sure why, since buying a satellite receiver doesn’t seem like a bad idea. I probably dislike it because there are newer, nicer boxes (like this one) that cost the same, but that Buckeye won’t let me use.
Option 2: I could subscribe to Dish Network’s HD package and buy a new receiver. This would require a new dish, too, which Dish will pay for if I commit to a year’s HD programming. However, Dish’s PVRs are widely denounced for being buggy, so I’d probably end up buying the 811 receiver, which doesn’t ship until November at the earliest. On the other hand, Dish is charging $9.99/mo for the same content as Buckeye’s $10.95 package, but their receivers can pick up over-the-air broadcasts, so I’d get local channels for free. Cost-wise this works out to be about the same as Buckeye, with the bonus that I get lots of channels (Speedvision and BYU-TV, anyone?) that Buckeye won’t ever carry.
Option 3: Wait for the HD-Tivo unit from DirecTV and switch to them. It’s not clear when this unit will actually ship, nor how much it’ll cost, so this is a risky alternative. However, it seems clear that this would give me the most of what I want: HD programming that I can TiVo– I just can’t have it now, or even by the end of the year (and possibly not until this time next year).
Option 4: Buy a cheap over-the-air receiver (like Costco’s $215 Samsung SIR-T151) now. That would give me Alias, Monday Night Football, college ball on Saturdays, 24, Smallville, and PBS in HD, covering the majority of my viewing needs. I’d miss Discovery and ESPN in HD, but I’d be able to resell the receiver later and recoup some of my investment. This looks like the best overall deal, so it’s probably what I’ll do.
Update: According to some knowledgeable (-seeming) folks on AVSForum, the FCC says that cable companies must put OTA HD channels in the basic tier, and they may not encrypt them. If true, that solves part of my problem, so I’ve asked Buckeye whether they think it’s true. If I don’t like their answer, then it’s on to the FCC.