...but that the legacy attribution in TCR. As a point of information, the attributions came from some of the top collectors in the hobby. I know that doesn't make the attributions air-tight, but it's enough for me to keep them in the book.
As far as Jerry's question, though, the Fremont would have to be the casino he was thinking of, since I have never seen these attributed to anywhere else.