Mike added a nice little batch file utility to rename your downloaded Mix09 files...

Here's the file: http://www.mikeswanson.com/blog/files/MIX09Renamer.zip

If you want the details on how to use it re-read his post: http://blogs.msdn.com/mswanson/pages/MIX09Sessions.aspx