SGI Onyx [was] Re: VAXen at home - 3ph source/MG set?