I'd answer that question with another question: "How is he doing now?" My DD7 tends to show significant behavioral changes when she's not getting enough sleep, and in comparing notes with other parents, that appears to be common. So, if he seems to be behaving normally, he might be ok. If he's exhibiting negative behaviors that are unusual for him, sleep tends to cure that.