Not sure if there is an app for that either, but you could just use a media player on your computer that can support that kind of file. According to Wikipedia, it lists MPlayer, VLC, Media Player Classic, K-Multimedia Player, Totem, Real Player, Quicktime, and GOM Player as viable options. Hope this helps.
You might need to add a codec pack to some of those players, in case they don't work right out of the box. Google is your friend.