I wonder if they ever took out the Pride of Mississippi chips that were supposedly in the vault before it left Biloxi? Sure would be a shame to have to go dive for them.