Could someone please tell me if these Aladdin Dice come from the Old Aladdin Casino or the New Aladdin? Were these White Dice actually used on the Craps Tables? Any info about them would be appreciated. Thanks. Doug