You can do a search on versiontracker for video converters - there are several free software downloads you can use and most will do a couple of formats.
I agree real media probably isn't your best bet.