You know what, this is a wonderful age we live in. A 13 year old kid can make money off iOS apps, at 17 they can make serious money.
When I was a kid the best I could do was have opensource stuff out there used by thousands of people. Personal gratification was high, but my wallet never got anything out of that, there just weren't any decent distribution channels for non-free stuff. And this was less than ten years ago.
Kudos to the kid!