They are now using a BMD 4K production camera that I sourced for them a while back. It is CCD so you don't have the CMOS rolling shutter/jello problem.
It is a UHD bayer matrix based camera, and if you ride the brake on the projector you can capture realtime at 24fps.
For anyone wanting to create your own scanner, I already have built the software to either do R, G, B with a mono sensor, or single flash of all RGB LEDs for a bayer sensor. The software controls the flash duration of each LED colour so that you can mix the light to achieve the colour desired, handy for faded film.
I also had the hardware (controller board, LED light source etc.) built by a genius guy in the UK, so you could buy that side of it, setup and ready to go. It also has a trigger input and output, so you can use mono or colour machine-vision cameras, like those from PGR, which have better dynamic range than DSLRs and are triggerable, so you don't have to worry about controlling the projector speed. Any projector would work, or you could build your own transport.
I'll start a thread on building your own scanner if anyone is interested, you could fit it to any projector and get results that rival $100,000 scanners, you could build the entire thing from scratch for about a grand, plus the cost of your choice of camera, lens and projector.