To get the maximum for it, your friend should have it restored, but kept as original as possible. If the backglass is a nice original, your friend should remove it and keep it in a safe place while the restoration is done. Hopefully he can fully trust the person doing the restoration not to switch out parts or do other shenanigans. He has a truly desireable and collectable game (when it come to these things, playability sometimes doesn't matter a whole lot). He can then list it on eBay, Mr. Pinball, or here on Pinside. He can post photos of it here for free. Let the market decide what it's worth. "Past performance is no guarantee of future returns", but I'd say he's going to do well with it. Please post some "as is" photos if you can. We would like to see it.