Why would you assume that what he is being paid is his current market value? It's entirely possible that he is being paid well under his market value, thus creating feelings of being underpaid.
They're very likely in the UK.
They are very likely getting underpaid for dev work, unless they're a contractor. Our salaries are definitely lower here than in the states.