Thanks! I figured they were, but wanted to be absolutely
certain. In the meantime, I DID locate a MK-V chip and replaced
it.
My 9500 is back to it's former wonderful self.
My next project is to replace the opamps and caps in the audio path. ESR on the small caps is getting pretty high.
Still, for it's age I have no complaints.