zabzonk is technically correct, which is the best kind of correct. I was using 'mainframe' colloquially and lazily. DG's mini line was used for the same kinds of things as mainframes, but they were formally minis at the time.