I was combing through the IMDB and found that the GI Joe movie has RED One listed as the camera and REDCODE RAW as the format. Any truth to this or is it just more IMDB randomness?