I guy in Northern Va was selling a similar (CK25HST) set up back in the spring. He was asking $14,500. Don't know if he got it or not. A friend of mine was mildly interested in it, but the old-style loader without the "fix" kit scared him a bit. He offered the guy $13,500 and the guy refused without countering at all.
$13,500 is about what I'd pay with old style loader. Then I'd spend the "savings" on new loader arms. If it had the new style loader and the backhoe has had no problems, I'd pay about $15,000 depending on the over all condition. But, what I'd pay doesn't have anything to do with what is worth.
As another data point, there's another guy locally whose trying to sell his CK35 TLB for $23,000+! Don't know if he'll get even close to that, but that is what it is listed for.