It's sort-of quaint now, but a library card and my reading choices being more or less unsupervised was hugely important to my intellectual development around that age.
If he's not too embarrassed to check it out, he's old enough to read it. We'll see if I feel that way when my kid is reading, but my 2 cents.