Did a bit of digging on the board itself. I managed to find a tiny photo of the bottom of the PCB so I could follow the traces.
The IC that feeds the 2nd pin from the left on the connector is U10, the center one closest to the board edge. Pin 6 feeds the connector. You could measure AC voltage on this pin during operation, it should drop near zero when the solenoid coil is not energized. Pin 4 should be AC hot all the time.
The IC itself is common, you can get them at most any electronics house, Digi-Key, Mouser, Newark etc.

The IC that feeds the 2nd pin from the left on the connector is U10, the center one closest to the board edge. Pin 6 feeds the connector. You could measure AC voltage on this pin during operation, it should drop near zero when the solenoid coil is not energized. Pin 4 should be AC hot all the time.
The IC itself is common, you can get them at most any electronics house, Digi-Key, Mouser, Newark etc.
