“State came in and fixed it for $125,000.”
Nothing in government gets fixed for $125k.
.
A down-payment on new coffee service for the office maybe. But that's just a guess - I could be way off base here...
Probably cost $5k in parts and labor.