With all the talk last week about Linux machines, I was wondering what flavors of Linux you folks are using. I remember seeing Redhat mentioned, any others? Lindy Dixon lindy at biop.umich.edu