I assumed producing XMV format video files was a no brainer, but having googled around, I've not discovered any links to utils either

, but lots of hints that people are doing it

. I suspect they may be using an official util from the XDK.
new screenshots?