Yes, HMRC has 56,000 employees, so it's unlikely that's all or indeed mostly administrative costs.