https://www.fox5vegas.com/news/tourist-from-san-jose-wins-k-jackpot-at-cosmopolitan/article_38a1fa2c-e467-11e8-8f47-9b88db33586f.html

Recently hit at $140K, Hope this helps.