I think that these cards prove that the Holiday Queen DID open. They wouldn't have reordered $5 chips in Nov. 1974 if they never opened under that name, as has been reported by the owner. She was our featured speaker at the convention banquet last year.