Mmyes we're pretty serious about this. The idea is to end up on 35mm. I've been looking around for the MB/sec needed for recording a 4:2:2 HD-SDI stream but havent been able to find it really. Of course we would like to order the scsi disks and cards, but as this is an artistic project rather than a featurefilm our sources are somewhat limited. Btw, the software for generating the video will be and has partly been allready written by us, using max/msp and especially jitter. Mostly opengl work.
I'll research some more and keep you posted. We're in holland so the sources are a bit limited in terms of hardware and knowledge.