It would be interesting to have a more accurate estimate of the effective cost of maintaining Gentoo. Say 100 core developers spend 10h/week, and 380 external contributors 2h/week; that's well over 40 FTE, and at $150K per FTE that's $6 million a year.