Yes, real. Made by BG. The 0000 serial number is in an older BG catalog.

The casino said I could not buy one of each of what was in the vault... and that they would have to be "ground down to a powder." That was many years ago.

Other info is in the archives...