I'm about to acquire some DECstations, and at this moment I'm quite confused about the state of Linux/MIPS. Should I expect that it is bootable on these machines? I think they're all non-4000 boxes. paul