Thanks for the pointer Bill.

It looks very much like it might have been the AMI socket on the processor input/output board. I've replaced it with some nifty soldering and, so far, things seem to be ok. The little pin sockets on the old one were all shapes and possibly therefore not making contact as well as they should.