Gotcha. Maybe I can swap one from a not so picky part of the circuit. I tried 5 different (new) 3080 chips in the socket, but they definitely looked different from the one that I pulled.
One thing I did notice was the amplitude of the pulse feeding the sense pin varied in level for different chips.