Doctor Cruces,
But no doubt "fixing" it came out of the maintenance budget, which had some money, but the cost of replacing it would have come out of the "procurement" budget, which was already spent....
And never the two budgets shall meet...
Or something along those lines...