The D has them downstairs. Be aware that they pay out real coins, not tickets. I cashed out $50 and gathered my coins. I was standing near the machine talking to my wife when a worker came up and asked if I was just playing that machine. I told him I was and he asked me why I was leaving without all of my money. It seems that it only paid me $22 of my fifty and the light came on needing more money. I hadn't even noticed.
