If he owns a legally made copy of the source code, and I accept that’s a big if, then he is perfectly within his rights to sell that single copy under the first sale doctrine.

It’s a shame that this bit of history will likely end up lost.