I just bought a BK2K for $3200. It was likely more worth $3000 in my mind, but I really wanted it to sit next to my full-restored cherry BK.
It was overall decent shape, but certainly not a project. I did install LEDs, Titan bands, flipper coils and linkages. The cabinet is a little on the rough side plus the colors faded, but I will be doing a complete cabinet resto and re-decaling soon.
Once the cabinet is done, I will consider the value of this pin to be easily $4000.00, or I can smoke the WTF-sellers crack-pipe and value it at $5500.00. Regardless, it will be a very top-shelf BK2k.