Options for resurrecting VAX 4000/400 and Vaxstation 3200