5k a month is ridiculously good in South America. Even if he's doing taxes like he should (which would bring him more in line with the averages for a senior software dev.) it's probably 30% to 50% more than he'd get as a salaried employee.