As a random Australian citizen they're not number I have access to, but I can assure you that it's orders of magnitude more than the contribution of AVZ individually.
But the point is the benefit to Felix and the DRC is MORE than just the tax they receive from AVZ alone.