https://www.taxconnections.com/taxblog/irs-computers-not-affected-by-irs-budget-cuts/
IRS Computers Not Affected By IRS Budget Cuts