I believe - but am not sure - that this is the case.
To the original poster, I think an HPX500 with a bunch of 16 and soon 32GB cards or a red is your best bet. Red will be more expensive and much higher quality, the HPX will put out standard HD and can be had with lens for $19k or so.
As others have mentioned, in your case it would probably make sense to use S16 lenses and windowed 2k so you have S16 style larger DoF (which means you don't necessarily have to have a puller) and you could get away with a stripped down "cageless" setup.
Still, the thing is no DVX100 - but then neither is an HPX. Both cameras have some heft, both will give you back problems if not used with care :)



