So it looks like my DVR solution for broadcast TV will be the TiVo Roamio OTA. Of course as luck would have it, it’s totally out of stock for a non-refurbished one. (Yes, there are other similar — and cheaper — devices out there, but I don’t feel like experimenting.)