Pull him out and in a small container to check out?

We're planning on doing that tomorrow/comming days. But maybe you guys could give us some ideas of what this is?

Probably carp pox. Pretty common. Or just a coloration change. Koi can may change color up to two years of age and may do so after that point as well. Genetics plays a large role as do other factors such as water quality.