Yes, if there is code licensed under the GPL in there, people who receive the binary have a right to ask for the source. If he owns all the copyright for the code he's shipping, though, he could have relicensed those files for his own purposes.