[edanm]

I'm not sure of the statistics but this is probably roughly true. Probably higher, actually, as tech workers tend to be more from populations that actually enlist in the military, and tech is a huge sector of the economy.