Berkeley people, I have updated /usr/cluster/bin with Mash 5.1.2. I also cleaned out some very old Mash versions, but there is still a good selection of versions there. It should work fine, but be sure you try it before you do any production work. Lloyd