One tiny, little, minute problem: D10D isn't listed under ThinOS. D10D isn't listed ANYWHERE.
And I would have dropped a ticket in through the alleged Support Portal, but it seems that there is a CONSIDERABLE time between registering there and it ever letting you in. Got an email confirming that I'd requested registration, but that's it for the last hour or so.
It might not be out yet at all. My company is prepping some of these for deployment and had a few issues. I asked our sales team for a newer firmware and the only one newer than what it ships with is still beta code (which fixed most of my issues) and it won't be a final release until later this week or next week. So you might just have to hang tight for another week or two.