Here's a nine year old article about the disposal of chips that I ran across. https://vegasinc.lasvegassun.com/business/gaming/2013/nov/05/where-do-poker-chips-go-die-look-lake-mead-and-cas/