When will Sencha SDK Tools be released?

Sencha has already released Ext JS 4. It's very much advertized to support IE 6 and theming.

However, to be able to theme IE 6 it's required to use the Sencha SDK, which is not itself yet released.

Could we get a date when Sencha SDK is expected to be released?

Today, the latest version is beta and I cannot find any previously not beta version.

I'm working for a big corporation and so we do care about the distinction between beta or officially working library.

Thanks.