Maybe he did, maybe he didn't. Most likely, if the machine was new and it had that draw on it when it was first built, I doubt it would have given up the ghost. I am betting the PSU was on it's last legs. I am wondering if it's a cap that busted or something...

I would check the Analog/power board and see if there is any charred remains. If possible, get a new PSU, or at failing that, try to fix the old one. It's possible, but have at it!

Let us know, JUST DON'T THROW OUT THAT 512K!!!!