It about doubled over half a century. For comparison inflation over that period was 410% or something like that. So idk, it's bigger than it was, it's hard to say whether it's bigger than it should be. I probably wouldn't describe it as dramatically as you have but that's often the case between us with public services I think.