这些类型的文件要到哪去下载呢？

确实少有。可以用工具将你手头的视频文件来转换成你想要的格式。

不同格式用不同转换器来转换!

推荐几款必备转换工具：
1、REAL格式文件压缩至尊 V3.60 （能合并电影、功能最全）
http://www.78soft.com/soft/1423.htm

http://www.aidown.com/soft/667.htm

2、EO Video软件介绍: （能合并电影、功能最全）
视频转换 -> EO Video V1.36
http://www.skycn.com/soft/7175.html

EO Video教程:
因为这里不支持图片，所以推荐你直接浏览教程网页，图文并茂，说得更详细：
1 RM转换利器：EO Video使用教程
http://dnszone.com.ru/viewarticle.php?id=4781

2 [原创]Eo Video 不完全使用教程
http://bbs.ktxp.com/read.ph