Your easiest solution is to get a player that can play them in native format, avi, mpeg, divx, etc.
this one
It doesn't play wmv but anything else it plays quite well. No need to recode, which can take forever. Wmv files can be converted to avi or mpeg by the way.
Shop around, Amazon link is just an example.
