how much did that cost?
I don’t think it matters anymore. They don’t pay their bills now and soon they’ll probably get permission for the entire state to declare bankruptcy (somehow) and scroo the vendors.
But don’t worry - the union bosses and the politicians will still get theirs.