Regular dual layer DVD9 will do just fine if they do 1 disc... no need for 25-50GB bluray yet.  The beta and RC downloads for 32 and 64 bit were each between 3 and 4GB images so unless they're doing something I can't imagine (which is possible) they'll still need about 8GB of space for both versions.