Along with the solenoid something else, like the board might be defective. If the company is no longer in business, try to contact some restoration people.
the transistor that drives that solenoid is probably bad . it's a TIP102 on the CPU board. if you have the manual there is a chart that will show you where to find it. Bill.