Don't get me wrong, I think it was BS he used the word restored on such a rough game, but the head part of the door handle is available.
http://www.marcospecialties.com/pinball-parts/545-5443-00
Quoted from ButtonMash:He also didn't mention in that thread that the head portion of the door handle (ie the important part) was missing. That's a part the new owner is shit out of luck on, so yeah the price boggles my mind.