There was some law about their business accepting money over the bar for drinks and such, so they had to use something else. Originally I recall one could exchange money in the back office for tickets, but eventually they came up with these self-made "Gringo Bucks." Think Disney Dollars.. same idea.
Gringo_Buck_back
Gringo_Buck_front