Pitcher Michael King, Padres agree to $7.75 million contract and avoid arbitration