$4800. He mentioned it in this post.
Quoted from zucot:
Congo left my game room today. In the end I got 4800 total out of the game. I paid 4500 for it, drove 10 hours round trip to pick it up, and added a bunch of stuff to it. All in all I lost a few hundred bucks, but I'm not in this hobby to make money so I'm happy. 5200 was a total reach which is why I quickly dropped the price. Congo was a great game to own. I consider very few games in my collection to be real keepers.