These look great! Wonder how much they'll cost. I'm thinking the PIX-E7H is enough for most people, myself included (4:2:2 ProRes HQ 10-bit).
Though, really, what I want is a Hyperdeck or Ninja Star that records 4K ProRes (no built-in monitor). Keep it under $500 and it's a guaranteed hit.
That's what I'm waiting for too. The a7s looks ridiculous with a 7" monitor stuck to it without a full rig.