Quick research seems to indicate R5's became available only from autumn 2005.
Anyway, the color artifacts and the switched channels on the initial release indicate an analog step (which would not be there on an R5), my best guess would be from some form of DLP or maybe from someone inside Lucasfilm -> capture card/dvd recorder/camcorder via l/r and composite cables.
Off the top of my head I don't remember any similar releases from that time (ie. 'high quality but mysterious source'), but it's long ago now...