With the release of consumer 4k cameras like the GH4 I have been wondering the same thing. RED is releasing a 4K broadcast module but the price is $6.950,- and it only connects via 4 SDI connectors...