@JeffPo, I thnk it is fantastic that you have found the guts to open her up. Just note that many multi-meters "buffer" their voltage reading and so it could be very difficult to get a voltage reading for the duration of the solenoid activation. I'm not saying your suspecting the PCB is incorrect - in fact, I am impressed that you took things to the next step to test the coil directly with power.
Bad news is the PCB is out of stock, but the good news is that the PCB is a very basic one:
The diodes are easy to check, followed by the capacitors (ensure they are not shorted nor bulging at the top). However, my bet is if it isn't one of those aforementioned items, is on the TO-220 transistor package. All the components are readily available domestically on digikey, mouser, or similar electronics providers.
