Oh yah, and there's something called a GP2X which accepts XVID files directly and has video and audio out for a television.

Or if you have a laptop like me, there's a boot-from-CD operating system called GeexBox which makes your laptop just like a tivo and if you have the right sort of output, you can hook it up directly to a TV.