[Wolfgang]

Use two single solenoids instead. Double solenoids caused our team some pain.

You are wiring one solenoid to 4 different buttons. Is that really needed or useful, or even your intention?

If you wish to wire one solenoid to one button, use a double case structure. Wire the outside case to a "get solenoid vi". In the inner structure, wire the button to the case and make the solenoid change with the true case.