I have insider knowledge of most large FreeBSD shops and I have to be careful to not overshare so I will use my current employer, which has publicly disclosed 10^4 machine count in shareholder earnings reports and technical talks. Using that public data, you would be able to extrapolate gross annual revenue of intel SKUs (CPU, chipset, NIC, SSD) is on order of 10^7 dollars/yr all running FreeBSD. This is just at my small 500 person company. There are several users with 10^5 machine count, and you can't forget about !US. I hope that helps put things into perspective.
