What resolution is the TP capable of with the video cables? I thought they were just RCA cables, which would be standard def like the screen, and therefore incapable of HD?
Anyway, I got this nice video encoder from XDA:
http://forum.xda-developers.com/showthread.php?t=467112
It converts video files to a format friendly with Windows Media player...that thread explainds that WMP is the best at the moment because it's the only one that utilizes the hardware acceleration. Not sure if it's true or not, but the videos kick the crap out of any AVI I attempted to encode for TCPMP.