I was just able to get past the choosing OS options (browser was the issue). Nothing there for that board. My guess is they are updating it and will post it back on the webpage soon. Some new hardware releases require updates to DIP5 and newer boards will take precedence.
I'd like to deploy my troops in her country.