Art is a self-employed installer of home entertainment systems, and he drives his car frequently to installation locations. Art drove his car 9,800 miles for business purposes and 23,500 miles in total. His actual expenses, including depreciation, for operating the auto are $15,500 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?