I have replaced the coil diodes on this board under suspicion,but haven't had time to retest,
Yep Leon's guide is about the best thing I've found for fliptronics repairs,
Some of the coils you have mentioned may be driven off the driver board,check the solenoid table to see what transistors are used..
