I dont see it listed, however I'm allmost certain I had a "Professional System 425". Had a SS low density 5 1/4 floppy with the split drive doors, 5mb HD. Plenty of time for coffee while booting up.
Remember the H-11? That was a LSI-11 (PDP-11/05) on a QBUS card in a 4 slot QBUS chassis, IIRC. You got a purchased version of RSX-11 with it. The above was very popular during the late 70's early 80's. Used ones sold for 3 to 5 times what they were purchased for since the backplane could take MicroVax-III CPU cards.