CEL can be many things. Without the codes, there's not much any of us can do other than speculate. If it doesnt reset on restart, he'll need to take it in for service. I'd start there.