Keurig K155 Main Board Schematics

I’m repairing a Keurig K155, I found that the filter capacitor (1000 uF 35V) was blow out, because of the nasty glue they use was over heated.  This causes the 12V regulator to fail, driving the solenoid out of 18V overheating them.

I’m looking for the schematics of the main board to make sure that is not another component compromised in the path