Update - I pulled the 1488 and sure enough, the -12V came back up. I
Sounds like that 1488 is shorted, then. Of course it _could_ be that the
DC-DC converter can't supply the rated load any more, but I doubt it.
stupidly picked up a 16 pin socket instead of a 14, so
it'll be some time
next week before I get the new part installed.
Err, clip 2 pins off the end of the socket? I've done that when I needed
to get something working _now_ and I had the wrong socket.
-tony