I spoke to the enforcement agent that had them pulled.
He said he would get me the number. We'll see.

BTW, the Riviera is telling people, their marketing dept pulled them, because they thought the chips were in poor taste.