Leaking DEC VR201 monochrome monitor?