The after market boards will be your best option. On most of the DE's I've had to repair, the HV section needed to be rebuilt, and the fuse clips needed to be replaced. Unless you buy a refurbished power supply or you are willing to do the repairs yourself, I'd suggest an aftermarket power supply.
Unless of course, Mike wants to engineer a repro
