Its still listed on Craigslist at $6400 greenbay.craigslist.org link
Like the bit in the description about RARE.

I posted on facebook that I thought this would be a difficult sale at $2500. I haven't seen anything that would change my view. The coin door boggles my mind as one can only guess at what other hacks may be present.

Like many, the pin does appear to be in very good condition.
The photos are very low detail. Certainly, there could be insert wear or other wear. The boards could be cobbled up. And we all know Funhouse pretty much needs to be played in person to determine if Rudy is properly working.

My take on it is this. Seller has it in there mind this pinball is worth XXX dollars, because they see others LISTED on Ebay for big $$$. Trying to talk this person down to a reasonable price is almost certainly going to be an exercise in futility.