that's what I've read from articles and interviews over the years, and I recalled sergey brin, the co-founder of google saying so also that linux dominated in house server and desktop platforms for employees. The entire infrastructure runs on a huge linux cluster. Remember that the Android OS is a modified Linux kernel as well.
I suspect the Macs are used more for the creativity departments
I can look into this more but this entire thread seems like bait too as most of your threads are ("hey look, here's android not playing flash properly")