I record TV programs through a DVD player/recorder. It saves them as files in the "VRO" format. On my computer, these files open in both WinDVD and Media Player. BUT my video editing program (Windows Movie Maker) doesn't recognize this format, and I need to cut the video into pieces. How can I convert this stupid VRO into AVI or some other normal format? The video converter pocketDivXEncoder doesn't recognize "vro" as a video file either. What should I do?