Does anybody know how to convert the out.nam file to any nice video format like .avi? I need to make a presentation and show my animated results on Windows computer where I don't have any ns or nam installed. Any ideas?