If you do decide to convert the videos, check out Any Video Converter. It is available for any version of Windows as well as having a Mac version. Version 5 was just realeased a few days ago. It comes in a free version that will let you setup a bunch of videos at one time for un-attended conversion. It will let you convert to almost any format for phones, tablets, and computers.
Hope this helps,