Alan, I was at Rincon over the Labor day weekend. An older gentlemen to the right of 3116 got a Royal Flush monday morning. I think he was playing bonus poker. I asked if it was his first one of the year. He said, no .And it cost him a lot of money. He hadn't been playing on that machine for very long.