I found (2) 1n47 diodes next to the original bad diodes. One of them
is shorted and the other appears open. Our local electronics store
has unfortunately closed down after 50 years of service and I would
rather not have to special order these diodes.

Hi,
as already said: 1N47xx zeners, the last two figures would indicate
the voltage, so you obviously need to find a way to find out the
original voltage. Does one really measure open (also in forward
direction) ? Then the voltage to something would probably have gone
way too high, bad if was the supply to the controller or some othe
chip you cannot buy. I have seen zeners in microwaves going short
quite often, they are run at maximum power dissipation even in stand
by.