Well maintanence man hours per flight hour for the Typhoon are smaller than 9 by contract and last I heard this was being comfortably met (waiting for spares excepted), and the number of support personel is half that required for the Tornado squadrons 75 vs 150 ish (Not sure which mark though).
Cheers