From the v10_1_2 Read me file: "The RED format is now available in the Avid DS Training Edition, however, when working with RED media, you must use the 64-bit version of the Avid DS Training Edition." Where can I find this, only see a 32-bit version listed. http://www.avid.com/products/tryout.html