From my dealings on this forum, I have really appreciated being part of a community that supports, encourages and helps look out for its members.
After a good think about it and decided to send the guy an email to tell him that if the machine is as he is describing it then a fair price would be a lot more than he is asking for it.
He replied to me and it turns out it very likely is the real thing but that the price I saw on the Pinball Expo For Sale listing was incorrect. The owner was thinking of around $9500 which would still be a undervalued.
UPDATE
LINK REMOVED
Must be a scam as the 'owner' now has put it back on Pinball Expo Classified for $4,100 OBO. Even a routed one could be sold to a dealer for more than that!