That's total into the system divided by number of students though.

Is there any measure of how much of that reaches pupils and improves their education versus the amount sucked up by middle layers, consultants, prestige buildings, etc?

It might be similar to the US health spend .. high per capita spend, low outcomes per citizens (compared to, say, Australia) .. with a rich middle layer of providers, insurers, etc.