I call B.S. on the kid's story.
Steaming.
If any law enforcement agents visited this kid, it was not due to his having requested a library copy of the Little Red Book. He may well have been visited by agents and he may well have requested the book, but if so, the latter certainly did not lead to the former. It's terribly convenient that the student "has requested that his identity be shielded". Keeps us from running Internet searches on his name to find out what he's really been up to, that would warrant a visit from federal agents.