I did finally get the TiVo mini working but, I also heard from my brother. Turns out the TiVo I gave him just doesn't fit into his TV watching and he still has it. So, it's coming back to me. Cool. It means I'll have to get another cable card and pay another $5 so I might get too cheap to actually use it. But, it's paid for and has a lifetime subscription to the service. So, it will be nice to have on hand.
Time for today's game.