More likely this audit will find that some numbers are high because the state has asked the city to worst-case these numbers. I doubt that they'll be much of a change in the current budget as a result of the audit.