The OP links to two ads, one that was for sale in Georgia just a few days ago - https://pinside.com/pinball/market/archive/19029 "
Undocumented HUO Batman Dark Knight. I am the third owner of this game. Has LEDs and shaker installed. The joker reveal mech is currently set to off. The motor works but the joker does not spin correctly. Everything else is great!
Comes with manual.
I can ship if you pay for it. I have shipped with STI four times with no issues.
Local pickup with cash preferred though. Will trade for WrestleMania.
"