Hi Mark,
Yes, that's the matchbook we found. And, yes, the Holiday Queen chips were the ones being discussed. It's actually kind of interesting, to me, that there wasn't more discussion on the River Queen.

According to Allan's post:

http://www.thechipboard.com/cgi-bin/tcbarc09/tcbarc09.pl?read=268865

River Queen and Holiday Queen were both names under consideration, but not used.

Anyway, I thought it was neat that we found the matchbook. When I first glanced at it, I thought it was Holiday Casino...then looked again!

Allan said that chips were ordered for River Queen and Holiday Queen. Gene said Holiday Queen chips were ordered 11/72 and another order was placed in 1974. Gene, do you know when the River Queen chips were ordered?