Yes, all of the TRK are listed in the Gaming Table. Says so right in the introduction.

There are many chips that could have been used in more than one place as you say. Similarly there are many that could have been ordered as private sets originally and then sold to someone running a game etc.