I don't remember what lens it had on it, we played with it at NAB.
It's hard to justify the price in my mind. If I'm paying that much for a camera body, I can pay another $10k for a red body... at least in my head haha.
It's also only 1080p max resolution. I know that sounds funny, but you'd think for it's target audience and price tag it'd be at least 2k.
It makes a beautiful picture. I'd rather be shooting with it than my 7D, way better compression and less rolling shutter. Again if I was buying I'd spend the money different.