Are you certain that these are the chips that were used in the WSOP tournament ... or are they the generics that are sold outside of the tournament?

I know that the WSOP chips that were used in A.C. had the name of the host casino on one side of the chip.