10K is nothing for a decent mobile developer in the U.S. Even at a very low salary of $120K in a major metropolitan city. That's a month's salary. Could he have ported the app in a month working 160 hours?