so now I find a movie of him playing and download it, and it's in a .wmv format. Ack! Turns out to be "Windows Media ... something". Proprietary.