Thanks for the reply.
did you try the steps as outlined in chapter "Battery Replacement" of the service manual, especially the ":SYST:MEM:INIT" sequence?
Not yet, I'll try today. I'm a bit wary of losing RS-232 access (still need to get a GPIB adapter), but I think SYST:MEM:INIT should keep the settings the same...
also, i wouldn't trust the EEPROM sockets on the digital board too much, you could pull and give them a "deoxit & re-seat" treatment.
Yeah, I forgot to mention, i did re-seat them. As the self-test always passes i doubt this is the problem, but i can give them another go.
as for the key pads, a key pad repair kit for tv remotes will do the trick. iirc, the stuff i used was "gumki do pilotów" by TermoPasty.pl from a*n. i glued the new pads right on top of the button stakes without even removing the old pads, using a drop of high temperature silicone (instead of the silicone that was supplied in the kit) and letting them cure for 24 hrs. button feel is slightly "stiffer" now, but key responsiveness works like a charm since 3 years now.
Ah, i did not know this was a thing, thanks!
edit: forgot to mention: you may want to check the electrolytic caps :horse:
There's only one or two that could be a problem for this (on the digital 5v supply). They seems fine, and the supply seems quiet. Maybe if I get really desperate I'll consider making an offering :)