[cctalk] DEC VR14 TO-3 heat-sink socket?