From my experience, people comparing wages like that (without any analysis) are just angry people who are not satisfied by anything. If you would gave him 20% raise, he would find something else to complain. In my company I would cut lose from such people immediately.