Did you try to buy that one the local FB group? He has it listed for $3750. It has been on there for awhile, I'm not sure if it really still available but it is still posted.
New! Dark mode!
Browsing Pinside at night? Getting tired of all the white? Switch to dark mode using the button in the top right (or CTRL-B)!