I forgot about the denominated roulettes, Walter. So there was a $50 in use at the MGM Grand as well... probably three of them, but TCR lists only the one with a stripe.