Excellent guide, Owen.
I have some of my own findings in the HV section which I would like to share after you have posted your update to that section. Seems there is a REVISION of power supply that made it to production that is not common, but is a PAIN to work out from the schematics.
But I won't "jump the gun".. Keep the updates coming
There are 2 main versions of the High Voltage section. This guide has covered the later one... I will be covering the earlier version with the older DE power supply thread that I will be starting later tonight...
Also, the DE and Sega pinballs that have the large DMD do not have a High Voltage section on the power supply. This is because the large DMD only needs +12V to run, and then steps up the voltage on the DMD board itself.