DEF Corp's sales last year were $20,000, and its year-end total assets were $35,000. The average firm in the industry has a total assets turnover ratio (TATO) of 2.5. Firm's new CFO believes the firm has excess assets that can be sold so as to bring the TATO down to the industry average without affecting sales. By how much must the assets be reduced to bring the TATO to the industry average, holding sales constant?