Wonder what caused such a high valuation. They definitely didnt seem to have enough revenues to justify it.
https://fedoraproject.org/wiki/Red_Hat_contributions
http://www.redhat.com/en/about/blog/red-hat-leads-open-source-contributions-to-kernel