By the way, that raises an interesting question - who owns those chips? The Rio, or the WSOP? And does one need permission from the other before disposing of them or selling them or whatever? I'm guessing, from recent @TheChipRoom sales that included chips for WSOP circuit events, that the Rio owns them and can do whatever they want with them (at least whateve NV law allows) but who knows?