Ellen supports her family as a self-employed attorney. She reports $90,000 of income on her Schedule C and pays $8,000 on health insurance for her family, $2,500 on dental insurance, $4,000 on health insurance for her 23-year-old daughter who is no longer a dependent, and $3,000 on disability insurance for herself. What is Ellen's self-employed health insurance deduction?