I'm looking at the ck4010 SE w/ cab and Yanmar YT235C. How do you like your machine?
When I was shopping a few years ago, that's about what I had narrowed it down to, the Yanmar or Kioti. I was actually leaning towards the Yanmar at first, but I got a MUCH better deal on the Kioti, and the dealer is located quite a bit closer to me as well.
I've had a couple very minor issues with my ck3510se, mostly my own fault. I've broken the blinkers a couple times (rops version), and I had a fan blade break off the radiator fan, and now this battery issue....but that's it, with 400hrs on the machine. I run it pretty hard all summer long. Lots and lots of mowing, hauling firewood, making and repairing roads through the woods, running a wood
chipper, etc...
The only advice I'd give you, if you're considering the 4010, you should also consider the 3510. They are the exact same tractor, aside from the hp. I have yet to find a task where the 35hp wasn't enough, and I live on the side of a big hill. I lose traction before I run out of power. The only reason I'd spend the money on the extra hp, is if I had a specific implement that required that additional pto hp.
Hope that helps.