Have you ever released two different products at the same time?
No, but it doesn't really matter in this case, because the Hawaii airports are made independently by other people (the same that brought you Geneva, KFLL and PHNL, btw...), which are unrelated to KDFW.