Videos recorded in somewhat older VRO format are still supported in some multimedia converters and can be thus converted or exported to other video formats, including MPEG-4 format which is commonly represented as .mp4 files.
Some video editing software, like AVS Video Editor, should also support VRO format.