Your Bally Playboy is in fact a Sexy Girl.... right?
If you have another working Solenoid Drivers board, you should swap them and see if that fixes the issue.
You are correct on your assumption and it is likely the driver of the Q11 thyristor, which is at fault.
Yves