From Computer History Wiki
Got another curve ball, from random research:
This is what was said:
"We later ported the entire thing to VMS on a 785 and ultimately MV3400s. Fun times." An MV3400 is a Vax Server 3400, for which there is no install documentation. ( Found it... )
So a MV3400 is really a MicroVax 3400, and there was not a separate Vax Server...
But there was: It just did not have Time sharing on it...