I have several large video.ts files from a HD satellite broadcast that I want to play on my PS3. These files are on my PC hard drive. They play fine on my PC using VLC player, but I want to watch them on my HDTV, not my computer. How can I do this? I do not want to 'downconvert' to MPEG-2 and burn a regular DVD. a) convert to .mp4? HOW? b) other? HOW? Thanks much in advance. I'm stumped.