Brian has the following health plan: $500 deductible, 80/20 co-insurance,
$12,000 out-of-pocket maximum. After being hospitalized for an illness, Brian
receives a bill for $10,500.

How much did the insurance company pay??