Lawrence Butler has family medical coverage through the group medical plan his employer provides. The annual
cost of the plan is $4,500. The company pays 80 percent. How much does Butler pay annually?