MicroVAX 3100 update