If he's really into PC games, does he play Minecraft? I've seen a lot of articles and books about teaching kids to program Minecraft add-ons. That will let him customize his own world a little more, and also give him a great reason to learn and stick with it.