Probably less. A lot of US military groups have dedicated personal for maintaining operational hardware including planes that are cross-trained at these large companies.
I think you’d be surprised how many civilians work on jets and how many parts the military goes through.
Those dedicated personnel interact with contractors and don’t make their own parts.