A friend's son wants to get into electronics, he is 9, brilliant and loves to learn new stuff by himself. What would you recommend as a Christmas gift for him? An Arduino board and a good book on what to do with it? Maybe something else?