[HECnet] VAXstation 4000/VLC clock battery?