Took a closer look around Q1 and sure enough, black marks on the PCB. They were a little obscured by R9. R9 also exploded
I took out Q1 and just for fun, tested it, shorted. R9 was open. Best my tired eyes can tell, R9 is Red, Purple, Silver, Gold which decodes to a 0.27 ohm resistor. Seems like a weird value (not the order of magnitude so much but the 0.27), but ok. I've attached a photo that shows the bands if anyone wants to look and tell me what they see.
IC1 is a Unitrode SK-8085. Seems no one can find a data sheet or application note. But at the vendor where I found some, there was a description and it was described as a variable voltage regulator. not a PWN Modulator, does that make sense? Q1 is a Toshiba K2038 (SK2038) power MOSFET. I found a bunch of these, too.
The question I have now is, what fried IC1? Something on the MB or did something else in the PSU cause Q1 to explode?
A quick search suggests that the TI part UCC38085 is probably the same thing. Looks as though it's obsolete and no longer available from the usual vendors (Digi-Key, Mouser), but you might be able to source something from Ebay, Ali, etc.
Yes, the value of R9 looks correct at 0.27 Ohms. You can see in the circuit that it's used in a current detection arrangement. I'd expect the controller IC (pin 3) measures the voltage across R9 to determine the current flow. I would fully expect R9 to be open circuit, it would have been carrying a lot of fault current with Q1 shorted, so it's acted like a fuse.
To answer your question, Q1 has probably died first, which isn't uncommon with high voltage transistors. So instead of silicon junctions in the transistor, you've now got a shorted mess. That means you'll have around (110VAC/SIN(45)) = 156VDC on the drain terminal of Q1, and this is now connected directy to the gate terminal. I don't know what the maximum voltage on the drive output pin of IC1 is, but probably something like 10V. And you've now got 156V on it (via R6). You've already seen what happens next....
Which reminds me, you should sanity check R6 as well to make sure it's not open circuit. If it's a low-ish value (under 100 Ohms) then it might have been damaged.
The A4000 main board is probably fine. Looks as though there's sufficient protection in the supply design to prevent anything too nasty from appearing on the DC output with this kind of failure.