It's even smaller. In the MRO section of our industry, the average size of a company is nine people. It really is a very small industry because the thing with MROs is that you can service business jets anywhere that somebody can fly them in.
On May 17th, 2016. See this statement in context.