I can guarentee they will not turn up notched.
I can guarentee they will not be re-released.
If the Riviera handles the destruction per gaming regs, you have seen the last of them.

An employee theft is the only way any will get out. It is doubtful.