Perhaps this is the same as saying UNICORN molded chips were made by CHIPCO, when I believe they were actually made in China, by a Chinese manufacturer.
() 