Avas withholding for state income taxes totals $2,500 during 2020. According to the state sales tax calculator (IRS web site) her sales tax deduction would be $630. She also paid $9,000 in property taxes on her home. She also paid $55 in hotel taxes during her vacation. Assuming her other itemized deductions put her over the standard deduction, what is her deduction for taxes?