...before last week when a friend that worked there gave them to me. I had no clue Holland Casinos started with a different name.
