?Looking at newer post, it seems like these were 43xx
or something like that.
I recall we had a machine the wasn't called a mini and that number ( as
I recall ) was a 3081. It was quite big.
OK a little confusion here.
The 3081 was indeed the water cooled machine. They generally had a
4361 as the service processor. The 4361 was one of these
low-maintenance machines - air cooled, no special power, very
reliable.
--
Will