Mr. Do knows that guy and has gotten a lot of artwork scanned thanks to him. I've bought pcbs on ebay from him as well.
I'm just not into pinball anymore. I loved it when I was a little kid, since then it hasn't felt exciting at all. The only reason I ever play it anymore is to see what pop culture bits the designers threw in like on a Star Trek table or something.