Sounds like a solution in need of a problem. By all the evidence he's getting all the sleep he needs. If he's lying there thinking for a while in bed before he falls asleep, there's nothing necessarily wrong with that. It's part of his routine at this point, and probably not something to tinker with, given that it's working. The quiet time probably helps him get to sleep, and some of that thinking time can also be quite productive.
If he's complaining about it, I would be open to negotiating an extra half hour, but no more than that.
