There were only a few chips that Amiga Technologies produced. Most of the chips in the machines they built were Commodore parts that were still kicking around. They also never updated the silkscreening on the 4000T boards - they all say Commodore.
Preproduction 4000T boards made at Commodore in 1993 (and shown at various shows) were yellow (like the Nyx prototype). Maybe some of those eventually ended up in users' hands?