I think the S35mm C700 does 4k @120fps.
You're right, it can send that to the codex recorder (which is what puts the c700 in a completely different league in terms of data rates) and those shots were definitely shot to the Codex. Back to the pessimistic "probably not much different than the C200" statement from before...although, maybe the CRL recording will add up to something.