Contact several of these board game manufacturers to find out if they have or can source these dice: https://boardgamemanufacturers.info If yes, it’s safe to add them to your design. If not I would look for alternatives.