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

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

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