@jlkuhioe It's hard to tell if he's actually sleeping 9 hours or not. He could easily be having trouble sleeping through the night, or having really poor quality of sleep. There are also some people who need more sleep than others to feel fully rested.
For me personally, I'd just set clothes...