Mr. D purchased an automobile for use in his business for $10,000 in 2013. For the years 2015 through 2019, he used the maximum standard mileage rate to figure his car expense deduction. What would Mr. D's car expense deduction be in 2020, using the standard mileage rate, if the auto was driven 20,000 miles for business use, and the business mileage from prior years is 100,000 miles?