DK series Kiotis are generally very reliable. Most I see here on TBN are 35-50HP, and an occasional bigger tractor.
To make sure, if it's important to you, exactly what year of manufacturer tractor you might buy, ask the dealer to verify it by the serial number coding, which is broken down in the service manual. Why no loader with it? Why traded in at such low hours? What would a new one with loader cost? Cabbed or open station...
What aside from hay will be your primary uses?
I can't comment on price- you may want to ask that Q in the Kioti buying/pricing forum.