I'm pretty sure you have tivos. You can use option #2 with a hacked tivo and TivoServer. Decoding ripped VOBs is also possible with TivoServer, but I never got it work. I didn't try very hard though and I was using earlier software than what's available now.