You're 100% correct. I used to pick up these
salesman's manufacturers' samplee at Florida card
rooms and cruise lines. Chipco and Paulson were
the only two I remember. Some were not notched

JB