wmv works pretty well for me and is recognized by my TV via it’s USB port.
Hmmm. Have not heard of that one. Is it as versatile as either Kaffeine or vlc for playing various formats? How about dealing with DRM?