If he were working directly for Google or another bigco doing the same work, he'd be making more in the neighborhood of 200k/year, if not more. Someone skilled enough to do this work is worth considerably more than $7k/month.