Boys Noize remixes are out already in Australia, not the full OST though.

The track "Compress/Repress" is the one with the vocals that was played on the red carpet and to me it seems that it's actually the remix that was played on the red carpet so I'm curious to hear the original.