Yes, FFMPEG does convert the HDV mpeg2-ts files to other formats. At least, the SVN build version from yesterday does. I'm not sure how long FFMPEG has supported this for though. If in doubt, try downloading a subversion copy of ffmpeg and building it: http://ffmpeg.mplayerhq.hu/download.html