Public paychecks: Orange County administrator among highest-paid employees

The county is the largest by population in metro Orlando.