That is correct. The first out is the 20 with a 30 to follow after the first of the year. They also have a front loader available which is curved to match the hood and a mid-mount mower deck. I believe James has new pics going up on his web site. There is already a pic of the CK20 if you look at the pics of James' trip to the factory.
You have to be joking about Kioti leaving the USA market. They are # 3 now in compact tractors sold. I've seen the Ck20 at the Moultre, Ga show last week and its tops. Looks like Kioti will soon be introducing a DK85.
I think that it will only be a mater of time and you will get the full range. here in australia we get the Dk series listed on this page, http://www.daedong.co.kr/english/index.html