Alexa owns a condominium near Cocoa Beach in Florida. In $2023,$ she incurs the following expenses in connection with her condo:

Insurance $ $4,800$

Mortgage interest $11,850$

Property taxes $2,200$

Repairs & maintenance $780$

Utilities $3,000$

Depreciation $17,200$

During the year, Alexa rented out the condo for $135$ days. Alexa's AGI from all sources other than the rental property is $$200,000.$ Unless otherwise specified, Alexa has no sources of passive income.

Assume that in addition to renting the condo for $135$ days, Alexa uses the condo for $8$ days of personal use. Also assume that Alexa receives $$42,750$ of gross rental receipts, her itemized deductions exceed the standard deduction before considering expenses associated with the condo, and her itemized deduction for non$$home business taxes is less than $$10,000$ by more than the real property taxes allocated to rental use of the home.

What is the total amount of from AGI deductions relating to the condo that Alexa may deduct in the current year? Assume she uses the IRS method of allocating expenses between rental and personal days.