Ivan is a self-employed installer of home entertainment systems, and he drives his car frequently to installation locations. Ivan drove his car 13,000 miles for business purposes and 20,000 miles in total. His actual expenses, including depreciation, for operating the auto are $9,650 since he had to have the car repaired several times. Ivan has always used the actual cost method in the past.

How much is Ivan's deductible auto expense for the year?

Round any interim division calculations to five decimal places. Round the final answer to the nearest dollar.